Files in this item

FilesDescriptionFormat

application/pdf

application/pdfdinges-2014-uiu ... _test_input_generation.pdf (387kB)
(no description provided)PDF

Description

Title:Targeted Test Input Generation using Symbolic-Concrete Backward Execution
Author(s):Dinges, Peter; Agha, Gul A.
Subject(s):Software Testing
Concolic Testing
Symcretic Execution
Backward Execution
Goal-Directed
Abstract:Knowing inputs that cover a specific branch or statement in a program is useful for debugging and regression testing. Symbolic backward execution (SBE) is a natural approach to find such targeted inputs. However, SBE struggles with complicated arithmetic, external method calls, and data-dependent loops that occur in many real-world programs. We propose symcretic execution, a novel combination of SBE and concrete forward execution that can efficiently find targeted inputs despite these challenges. An evaluation of our approach on a range of test cases shows that symcretic execution finds inputs in more cases than concolic testing tools while exploring fewer path segments. Integration of our approach will allow test generation tools to fill coverage gaps and static bug detectors to verify candidate bugs with concrete test cases. This is the full version of an extended abstract that was presented at the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), September 15–19, 2014, Västerås, Sweden.
Issue Date:2014-09-11
Genre:Technical Report
Type:Text
Language:English
URI:http://hdl.handle.net/2142/50315
Sponsor:W911NF-09-1-0273
FA8750-11-2-0084
Date Available in IDEALS:2014-09-11


This item appears in the following Collection(s)

Item Statistics