DC Field | Value | Language |
---|---|---|
dc.contributor.author | Kim, Yunho | ko |
dc.contributor.author | Hong, Shin | ko |
dc.contributor.author | Kim, Moonzoo | ko |
dc.date.accessioned | 2020-02-05T06:21:03Z | - |
dc.date.available | 2020-02-05T06:21:03Z | - |
dc.date.created | 2020-01-29 | - |
dc.date.created | 2020-01-29 | - |
dc.date.created | 2020-01-29 | - |
dc.date.issued | 2019-08-29 | - |
dc.identifier.citation | 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2019, pp.16 - 26 | - |
dc.identifier.uri | http://hdl.handle.net/10203/272098 | - |
dc.description.abstract | Concolic testing is popular in unit testing because it can detect bugs quickly in a relatively small search space. But, in system-level testing, it suffers from the symbolic path explosion and often misses bugs. To resolve this problem, we have developed a focused compositional concolic testing technique, FOCAL, for effective bug detection. Focusing on a target unit failure v (a crash or an assert violation) detected by concolic unit testing, FOCAL generates a system-level test input that validates v. This test input is obtained by building and solving symbolic path formulas that represent system-level executions raising v. FOCAL builds such formulas by combining function summaries one by one backward from a function that raised v to main. If a function summary | - |
dc.language | English | - |
dc.publisher | Association for Computing Machinery, Inc | - |
dc.title | Target-driven compositional concolic testing with function summary refinement for effective bug detection | - |
dc.type | Conference | - |
dc.identifier.wosid | 000485629300005 | - |
dc.identifier.scopusid | 2-s2.0-85071930470 | - |
dc.type.rims | CONF | - |
dc.citation.beginningpage | 16 | - |
dc.citation.endingpage | 26 | - |
dc.citation.publicationname | 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2019 | - |
dc.identifier.conferencecountry | ER | - |
dc.identifier.conferencelocation | Tallinn | - |
dc.identifier.doi | 10.1145/3338906.3338934 | - |
dc.contributor.localauthor | Kim, Moonzoo | - |
dc.contributor.nonIdAuthor | Hong, Shin | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.