학위논문(박사) - 한국과학기술원 : 전산학부, 2015.8 ,[viii, 133 p. :]
Software testing; Multithreaded program; Coverage metric; Concurrency bug; Automated test generation; 소프트웨어 테스팅; 멀티쓰레드 프로그램; 커버리지 메트릭; 동시성 오류; 자동 테스트 생성
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.