Symbolic execution is a classical program testing technique which evaluates a selected
control flow path with symbolic input data. A constraint solver can be used to enforce the …

Symbolic execution has several applications mainly in the validation of software. It may be
used in the generation of test data, in program proving, and in program reduction. The paper …

One of the main challenges of dynamic symbolic execution—an automated program
analysis technique which has been successfully employed to test a variety of software—is …

Verifying critical numerical software involves the generation of test data for floating-point
intensive programs. As the symbolic execution of floating-point computations presents …

Symbolic execution provides a basis for a program analysis tool that allows one to choose
intermediate points in a spectrum ranging between individual test runs and general …

Symbolic execution is a well-known program analysis technique which represents program
inputs with symbolic values instead of concrete, initialized, data and executes the program …

We present results for the" Impact Project Focus Area" on the topic of symbolic execution as
used in software testing. Symbolic execution is a program analysis technique introduced in …

Symbolic execution is a technique that is useful in the validation of software. It may be used
to aid in the generation of test data and in program proving. As software engineering …

In this paper, we describe a symbolic execution system that assists in the construction of test
data and the detection of program errors. The system automatically generates a subset of all …

Symbolic execution is a systematic technique for checking programs, which forms a basis for
various software testing and verification techniques. It provides a powerful analysis in …