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

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 …

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 …

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 …

Symbolic execution is a popular program analysis technique that allows seeking for bugs by
reasoning over multiple alternative execution states at once. As the number of states to …

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 …

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 …