Publications
Detailed Information
정적 분석을 이용한 이단계 언어의 테스트 커버리지 확장 : Extending Test Coverage for two-staged Language with Static Analysis
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.advisor | 우치수 | - |
| dc.contributor.author | 이길주 | - |
| dc.date.accessioned | 2010-05-10T09:54:34Z | - |
| dc.date.available | 2010-05-10T09:54:34Z | - |
| dc.date.copyright | 2010 | - |
| dc.date.issued | 2010 | - |
| dc.identifier.uri | http://dcollection.snu.ac.kr:80/jsp/common/DcLoOrgPer.jsp?sItemId=000000033481 | kog |
| dc.identifier.uri | https://hdl.handle.net/10371/65173 | - |
| dc.description | 학위논문(석사) --서울대학교 대학원 :전기. 컴퓨터공학부,2010.2. | ko |
| dc.format.extent | ⅴ, 46 장 | ko |
| dc.language.iso | ko | ko |
| dc.publisher | 서울대학교 대학원 | ko |
| dc.subject | 소프트웨어 테스팅 | ko |
| dc.subject | software testing | ko |
| dc.subject | 테스트 커버리지 | ko |
| dc.subject | test coverage | ko |
| dc.subject | 다단계 언어 | ko |
| dc.subject | multi-staged language | ko |
| dc.subject | 요약 해석 | ko |
| dc.subject | abstract interpretation | ko |
| dc.subject | 정적 분석 | ko |
| dc.subject | static analysis | ko |
| dc.title | 정적 분석을 이용한 이단계 언어의 테스트 커버리지 확장 | ko |
| dc.title.alternative | Extending Test Coverage for two-staged Language with Static Analysis | 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.