학위논문(석사) - 한국과학기술원 : 전산학전공, 2003.2, [ vi, 65 p. ]
모델 체킹; 소프트웨어 테스팅; 명세 기반 테스팅; 테스트 케이스 생성; test case generation; model checking; software testing; specification and descrption language
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.