학위논문(석사) - 한국과학기술원 : 전산학전공, 2009.2, [ v, 36 p. ]
test case generation; debugging; reactive program; Esterel; 테스트 케이스 생성; 디버깅; 상호 작용 프로그램; 에스테렐; test case generation; debugging; reactive program; Esterel; 테스트 케이스 생성; 디버깅; 상호 작용 프로그램; 에스테렐
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.