Publications
Detailed Information
기호실행을 이용한 C언어 단위테스트 데이터 자동생성 : Automated C unit-test data generator using symbolic execution
Cited 0 time in
Web of Science
Cited 0 time in Scopus
- Authors
- Advisor
- 우치수
- Issue Date
- 2009
- Publisher
- 서울대학교 대학원
- Keywords
- 단위테스트 ; Unit Test ; 테스트 자동화 ; Test Automation ; 기호실행 ; Symbolic Execution ; 테스트 데이터 생성 ; Test Data Generation
- Description
- 학위논문(석사) --서울대학교 대학원 :전기. 컴퓨터공학부, 2009.2.
- Language
- Korean
- URI
- http://dcollection.snu.ac.kr:80/jsp/common/DcLoOrgPer.jsp?sItemId=000000037038
https://hdl.handle.net/10371/44764
- Files in This Item:
- There are no files associated with this item.
Item View & Download Count
Items in S-Space are protected by copyright, with all rights reserved, unless otherwise indicated.