여기 서 , 테스트 케이스 를 생성 하 는 단계 ( S 200 ) 는 , 소스 코드 에 대하 여 적어도 하나 이상 의 프로그램 경로 를 결정 하 는 단계 ( S 210 ) 적어도 하나 이상 의 프로그램 경로 에 따라 상기 심볼 릭 실행 을 수행 하 는 단계 ( S 220 ) 및 심볼 릭 실행 에 따라 생성 된 논리식 에 대하 여 솔 버 ( solver ) 를 이용 하 여 테스트 케이스 를 생성 하 는 단계 ( S 230 ) 를 포함 할 수 있 다 .