Precise guidance to dynamic test generation

aut.conference.typePaper Published in Proceedings
aut.relation.endpage12
aut.relation.startpage5
aut.researcherPears, Russel Lawrence
dark.contributor.authorDo, T
dark.contributor.authorFong, A
dark.contributor.authorPears, RL
dc.contributor.authorPears, RL
dc.contributor.authorFong, A
dc.contributor.authorDo, T
dc.contributor.editorFilipe, J
dc.contributor.editorMaciaszek, L
dc.date.accessioned2013-02-26T04:29:24Z
dc.date.available2013-02-26T04:29:24Z
dc.date.copyright2012
dc.date.issued2012
dc.description.abstractDynamic symbolic execution has been shown an effective technique for automated test input generation. However, its scalability is limited due to the combinatorial explosion of the path space. We propose to take advantage of data flow analysis to better perform dynamic symbolic execution in the context of generating test inputs for maximum structural coverage. In particular, we utilize the chaining mechanism to (1) extract precise guidance to direct dynamic symbolic execution towards exploring uncovered code elements and (2) meanwhile significantly optimize the path exploration process. Preliminary experiments conducted to evaluate the performance of the proposed approach have shown very encouraging results.
dc.identifier.citationENASE 2012 : 7th International Conference on Evaluation of Novel Approaches to Software Engineering , Wroclaw, Poland, 2012-06-29 to 2012-06-30, published in: ENASE 2012 - Proceedings of the 7th International Conference, pp.5 - 12
dc.identifier.urihttps://hdl.handle.net/10292/5177
dc.publisherDBLP
dc.relation.urihttp://dblp.uni-trier.de/rec/bibtex/conf/enase/DoFP12
dc.rightsDBLP: Copyright © 1993-2013 by Michael Ley (University of Trier, Informatik, ley@uni-trier.de) and Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH. The data provided by DBLP on its webpages as well as the XML files available at our website are released under the Open Data Commons Attribution License (ODC-BY 1.0). You are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data as long as you attribute any public use of the data, or works produced from the data, in the manner specified in the license. Read the full ODC-BY 1.0 license text for the exact terms that apply. The ODC-BY 1.0 license is courtesy of the Open Knowledge Foundation.
dc.rights.accessrightsOpenAccess
dc.subjectDynamic Symbolic Execution
dc.subjectAutomated Test Input Generation
dc.subjectSoftware Testing
dc.subjectData Flow Analysis
dc.titlePrecise guidance to dynamic test generation
dc.typeConference Contribution
pubs.elements-id134061
pubs.organisational-data/AUT
pubs.organisational-data/AUT/Design & Creative Technologies
pubs.organisational-data/AUT/Design & Creative Technologies/School of Computing & Mathematical Science
pubs.organisational-data/AUT/PBRF Researchers
pubs.organisational-data/AUT/PBRF Researchers/Design & Creative Technologies PBRF Researchers
pubs.organisational-data/AUT/PBRF Researchers/Design & Creative Technologies PBRF Researchers/DCT C & M Computing
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
Pearsguidance3].pdf
Size:
244.24 KB
Format:
Adobe Portable Document Format
Description:
License bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
licence.htm
Size:
29.98 KB
Format:
Unknown data format
Description: