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 …

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 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 …

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 …

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 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 successful technique used in software verification and testing. A key
limitation of symbolic execution is in dealing with code containing loops. We introduce a …

Symbolic evaluation is a program analysis method that represents a program's computations
and domain by symbolic expressions. In this paper a general functional model of a program …

The effectiveness in discovering errors of symbolic evaluation and of testing sad static
program analysis are studied. The three techniques are applied to a diverse collection of …