본 실시예들은 기호 실행을 선택적으로 사용하는 기호 실행을 사용하는 소프트웨어 테스트 입력 생성 장치에 관한 것으로, 프로세서에 의해 실행되는 기호 실행을 사용하는 소프트웨어 테스트 입력 생성 장치에 있어서, 프로세서는 대상 프로그램 및 입력 데이터의 입력 값을 기반으로 대상 프로그램에서 실행된 명령어의 실행 기록을 저장하는 동적 오염 분석기, 실행 기록 중 일부를 추출하며, 추출된 실행 기록을 분석하여 필드 전이 트리를 생성하는 실행 기록 분석기 및 필드 전이 트리의 다수의 노드들의 깊이를 기반으로 (i) 명령어의 인자 값의 조건을 나타내는 분기 제약 또는 (ii) 명령어의 인자 값을 산출하는 방정식 해석 모듈의 사용 여부를 판단하며, 분기 제약 또는 방정식 해석 모듈을 이용하여 테스트 입력을 생성하는 제약 해석기를 포함하는 기호 실행을 사용하는 소프트웨어 테스트 입력 생성 장치를 제공한다.