Ranged symbolic execution has been proposed as a way of scaling symbolic execution by
splitting the task of path exploration onto several workers running in parallel. The split is …

This paper introduces a novel approach to scale symbolic execution---a program analysis
technique for systematic exploration of bounded execution paths---for test input generation …

Symbolic execution is a powerful program analysis technique which allows executing
programs with symbolic inputs. Modern symbolic execution tools use a concrete modeling of …

Symbolic execution is a powerful, systematic program analysis approach that has received
much visibility in the last decade. The key idea in symbolic execution is to explore all …

Symbolic execution is a promising testing and analysis methodology. It systematically
explores a program's execution space and can generate test cases with high coverage. One …

In this paper, we study the problem of automatically finding program executions that reach a
particular target line. This problem arises in many debugging scenarios; for example, a …

The last few years have seen a resurgence of interest in the use of symbolic execution—a
program analysis technique developed more than three decades ago to analyze program …

The analysis of constraints plays an important role in many aspects of software engineering,
for example constraint satisfiability checking is central to symbolic execution. However, the …

Symbolic execution is a powerful program analysis technique that systematically explores
multiple program paths. However, despite important technical advances, symbolic execution …

This paper presents a new technique, called Symbolic Program Decomposition (or SPD), for
symbolic execution of multiple paths that is more scalable than existing techniques, which …