기호수행 방법을 이용한 마이크로프로그램의 테스트 데이타 생성 시스템A system to gererate test data for micorprogram using symbolic execution
- Advisors
- 조정완; Cho, Jung-Wan
- Description
- 한국과학기술원 : 전산학과,
- Publisher
- 한국과학기술원
- Issue Date
- 1994
- Identifier
- 69581/325007 / 000923186
- Language
- kor
- Description
학위논문(석사) - 한국과학기술원 : 전산학과, 1994.2, [ ii, 38 p. ]
- Keywords
테스트 데이터.
- Appears in Collection
- CS-Theses_Master(석사논문)
- Files in This Item
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.