Concolic Testing 도구 KLEE의 다양한 탐색 방법 비교Comparison of Search Strategies of KLEE Concolic Testing Tool
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | 김영주 | ko |
| dc.contributor.author | 김문주 | ko |
| dc.contributor.author | 김윤호 | ko |
| dc.contributor.author | 정의준 | ko |
| dc.date.accessioned | 2013-03-13T04:20:07Z | - |
| dc.date.available | 2013-03-13T04:20:07Z | - |
| dc.date.created | 2013-01-07 | - |
| dc.date.created | 2013-01-07 | - |
| dc.date.issued | 2012-04 | - |
| dc.identifier.citation | 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.18, no.4, pp.321 - 325 | - |
| dc.identifier.issn | 1229-7712 | - |
| dc.identifier.uri | http://hdl.handle.net/10203/104448 | - |
| dc.description.abstract | 테스트 케이스 자동생성기법인 Concolic (concrete+ symbolic) 테스팅 기법을 사용하는 테스팅 도구인 KLEE의 심볼릭 state를 스케줄링하는 탐색 방법(search strategy)들의 분기 커버리지 성능을 비교 분석했다. 또한 분기 커버리지를 보다 빠르게 높일 수 있는 breadth first search (BFS)를 새롭게 구현해 기존 방법들과 비교했다. 본 실험에서는 GNU Coreutils 버전 8.9를 대상으로, 주어진 시간에 각 탐색 방법들이 달성하는 분기 커버리지(branch coverage)를 비교하고 결과를 분석했다. | - |
| dc.language | Korean | - |
| dc.publisher | 한국정보과학회 | - |
| dc.title | Concolic Testing 도구 KLEE의 다양한 탐색 방법 비교 | - |
| dc.title.alternative | Comparison of Search Strategies of KLEE Concolic Testing Tool | - |
| dc.type | Article | - |
| dc.type.rims | ART | - |
| dc.citation.volume | 18 | - |
| dc.citation.issue | 4 | - |
| dc.citation.beginningpage | 321 | - |
| dc.citation.endingpage | 325 | - |
| dc.citation.publicationname | 정보과학회논문지 : 컴퓨팅의 실제 및 레터 | - |
| dc.identifier.kciid | ART001652143 | - |
| dc.contributor.localauthor | 김문주 | - |
| dc.contributor.nonIdAuthor | 김영주 | - |
| dc.contributor.nonIdAuthor | 김윤호 | - |
| dc.contributor.nonIdAuthor | 정의준 | - |
| dc.subject.keywordAuthor | Concolic Testing | - |
| dc.subject.keywordAuthor | Dynamic Symbolic Execution | - |
| dc.subject.keywordAuthor | KLEE | - |
| dc.subject.keywordAuthor | Search Strategy | - |
| dc.subject.keywordAuthor | Breadth First Search | - |
| dc.subject.keywordAuthor | Concolic 테스팅 | - |
| dc.subject.keywordAuthor | 동적 심볼릭 수행 | - |
| dc.subject.keywordAuthor | KLEE | - |
| dc.subject.keywordAuthor | 탐색 방법 | - |
| dc.subject.keywordAuthor | Breadth First Search | - |
- Appears in Collection
- CS-Journal Papers(저널논문)
- 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.