Publications
Detailed Information
기호실행을 이용한 C언어 단위테스트 데이터 자동생성 : Automated C unit-test data generator using symbolic execution
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.advisor | 우치수 | - |
| dc.contributor.author | 서윤주 | - |
| dc.date.accessioned | 2010-01-26T06:16:07Z | - |
| dc.date.available | 2010-01-26T06:16:07Z | - |
| dc.date.copyright | 2009. | - |
| dc.date.issued | 2009 | - |
| dc.identifier.uri | http://dcollection.snu.ac.kr:80/jsp/common/DcLoOrgPer.jsp?sItemId=000000037038 | kog |
| dc.identifier.uri | https://hdl.handle.net/10371/44764 | - |
| dc.description | 학위논문(석사) --서울대학교 대학원 :전기. 컴퓨터공학부, 2009.2. | ko |
| dc.format.extent | iii, 40장 | ko |
| dc.language.iso | ko | ko |
| dc.publisher | 서울대학교 대학원 | ko |
| dc.subject | 단위테스트 | ko |
| dc.subject | Unit Test | ko |
| dc.subject | 테스트 자동화 | ko |
| dc.subject | Test Automation | ko |
| dc.subject | 기호실행 | ko |
| dc.subject | Symbolic Execution | ko |
| dc.subject | 테스트 데이터 생성 | ko |
| dc.subject | Test Data Generation | ko |
| dc.title | 기호실행을 이용한 C언어 단위테스트 데이터 자동생성 | ko |
| dc.title.alternative | Automated C unit-test data generator using symbolic execution | ko |
| dc.type | Thesis | - |
| dc.contributor.department | 전기. 컴퓨터공학부 | - |
| dc.description.degree | Master | ko |
- Appears in Collections:
- 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.