DC Field | Value | Language |
---|---|---|
dc.contributor.author | Choi, Jaeseung | ko |
dc.contributor.author | Jang, Joonun | ko |
dc.contributor.author | Han, Choongwoo | ko |
dc.contributor.author | Cha, Sang Kil | ko |
dc.date.accessioned | 2019-07-30T12:20:05Z | - |
dc.date.available | 2019-07-30T12:20:05Z | - |
dc.date.created | 2019-06-12 | - |
dc.date.created | 2019-06-12 | - |
dc.date.created | 2019-06-12 | - |
dc.date.issued | 2019-05-31 | - |
dc.identifier.citation | 41st IEEE/ACM International Conference on Software Engineering (ICSE), pp.736 - 747 | - |
dc.identifier.issn | 0270-5257 | - |
dc.identifier.uri | http://hdl.handle.net/10203/263922 | - |
dc.description.abstract | We present grey-box concolic testing, a novel path-based test case generation method that combines the best of both white-box and grey-box fuzzing. At a high level, our technique systematically explores execution paths of a program under test as in white-box fuzzing, a.k.a. concolic testing, while not giving up the simplicity of grey-box fuzzing: it only uses a lightweight instrumentation, and it does not rely on an SMT solver. We implemented our technique in a system called Eclipser, and compared it to the state-of-the-art grey-box fuzzers (including AFLFast, LAF-intel, Steelix, and VUzzer) as well as a symbolic executor (KLEE). In our experiments, we achieved higher code coverage and found more bugs than the other tools. | - |
dc.language | English | - |
dc.publisher | ACM/IEEE | - |
dc.title | Grey-box Concolic Testing on Binary Code | - |
dc.type | Conference | - |
dc.identifier.wosid | 000560373200064 | - |
dc.identifier.scopusid | 2-s2.0-85072291444 | - |
dc.type.rims | CONF | - |
dc.citation.beginningpage | 736 | - |
dc.citation.endingpage | 747 | - |
dc.citation.publicationname | 41st IEEE/ACM International Conference on Software Engineering (ICSE) | - |
dc.identifier.conferencecountry | CN | - |
dc.identifier.conferencelocation | Montréal, QC | - |
dc.identifier.doi | 10.1109/ICSE.2019.00082 | - |
dc.contributor.localauthor | Cha, Sang Kil | - |
dc.contributor.nonIdAuthor | Jang, Joonun | - |
dc.contributor.nonIdAuthor | Han, Choongwoo | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.