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 …

This paper introduces memoized symbolic execution (Memoise), a new approach for more
efficient application of forward symbolic execution, which is a well-studied technique for …

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

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 promising testing and analysis methodology. It systematically
explores a program's execution space and can generate test cases with high coverage. One …

Many security and software testing applications require checking whether certain properties
of a program hold for any possible usage scenario. For instance, a tool for identifying …

Symbolic execution is a powerful static program analysis technique that has been used for
the automated generation of test inputs. Directed Automated Random Testing (DART) is a …

Mixed concrete and symbolic execution is an important technique for finding and
understanding software bugs, including security-relevant ones. However, existing symbolic …

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 …

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 …