Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)

  • 2008.06a
  • /
  • Pages.64-65
  • /
  • 2008
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Automatic generation of JUnit based test driver using model checking

모델 체킹을 이용한 JUnit 기반 테스트 드라이버 자동 생성

  • Lee, Tae-Hoon (Department of Computer Science, Kyonggi University) ;
  • Kwon, Gi-Hwon (Department of Computer Science, Kyonggi University)
  • 이태훈 (경기대학교 정보과학부) ;
  • 권기현 (경기대학교 정보과학부)
  • Published : 2008.06.30
Download PDF
⟨ Previous Next ⟩

Abstract

Keywords