한국정보과학회:학술대회논문집 (Proceedings of the Korean Information Science Society Conference)
- 한국정보과학회 2008년도 한국컴퓨터종합학술대회논문집 Vol.35 No.1 (A)
- /
- Pages.64-65
- /
- 2008
- /
- 1598-5164(pISSN)
모델 체킹을 이용한 JUnit 기반 테스트 드라이버 자동 생성
Automatic generation of JUnit based test driver using model checking
- Lee, Tae-Hoon (Department of Computer Science, Kyonggi University) ;
- Kwon, Gi-Hwon (Department of Computer Science, Kyonggi University)
- 발행 : 2008.06.30