도 3 은 본 발명 의 일 실시 예 에 따른 프로그램 경로 를 결정 하 는 단계 를 구체 화 한 흐름 도 이 다 . 도 4 는 본 발명 의 일 실시 예 에 따른 요약 구문 트리 ( abstract syntax tree , AST ) 를 설명 하 기 위한 개념 도 이 다 . 도 5 는 본 발명 의 일 실시 예 에 따른 테스트 케이스 를 도출 하 기 위한 소스 코드 의 예 시도 이 다 . 도 6 은 제어 흐름 그래프 ( control flow graph , CFG ) 를 설명 하 기 위한 개념 도 이 다 .