DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | 조정완 | - |
dc.contributor.advisor | Cho, Jung-Wan | - |
dc.contributor.author | 박상현 | - |
dc.contributor.author | Park, Sang-Hyun | - |
dc.date.accessioned | 2011-12-13T05:55:30Z | - |
dc.date.available | 2011-12-13T05:55:30Z | - |
dc.date.issued | 1994 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=69581&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/34040 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 전산학과, 1994.2, [ ii, 38 p. ] | - |
dc.language | kor | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | 테스트 데이터. | - |
dc.title | 기호수행 방법을 이용한 마이크로프로그램의 테스트 데이타 생성 시스템 | - |
dc.title.alternative | A system to gererate test data for micorprogram using symbolic execution | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 69581/325007 | - |
dc.description.department | 한국과학기술원 : 전산학과, | - |
dc.identifier.uid | 000923186 | - |
dc.contributor.localauthor | 조정완 | - |
dc.contributor.localauthor | Cho, Jung-Wan | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.