Targeted Test Input Generation using Symbolic-Concrete Backward Execution

Dinges, Peter; Agha, Gul A.

Permalink

https://hdl.handle.net/2142/50315 Copy

Description

Title

Targeted Test Input Generation using Symbolic-Concrete Backward Execution

Author(s)

• Dinges, Peter
• Agha, Gul A.

Issue Date

2014-09-11

Keyword(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.

Type of Resource

text

Language

en

Permalink

http://hdl.handle.net/2142/50315

Sponsor(s)/Grant Number(s)

• W911NF-09-1-0273
• FA8750-11-2-0084

Owning Collections