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 …

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 …

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 …

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 …

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 …

Detecting and characterizing the effects of software changes is a fundamental component of
software maintenance. Version differencing information can be used to perform version …

We propose an approach that combines symbolic execution and run-time type inference
from a sample program run to generate test cases, and we apply our approach to …

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 …

This paper presents S2E, a platform for analyzing the properties and behavior of software
systems. We demonstrate S2E's use in developing practical tools for comprehensive …