학위논문(석사) - 한국과학기술원 : 전산학부, 2016.8 ,[iv, 44 p. :]
Concolic 테스팅; 심볼릭 실행; 심볼릭 배열 인덱스 참조 연산; 소프트웨어 자동화 테스팅; 테스트 케이스 생성; Concolic Testing; Symbolic Execution; Symbolic Array Index Operation; Automated Software Testing; Test Case Generation
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.