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

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

Symbolic execution is a powerful technique for systematically exploring the paths of a
program and generating the corresponding test inputs. However, its practical usage is often …

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 …

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 …

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

Symbolic execution is a widely-used program analysis technique. It collects and solves path
conditions to guide the program traversing. However, due to the limitation of the current …

Identifying vulnerabilities in software systems is crucial to minimizing the damages that result
from malicious exploits and software failures. This often requires proper identification of …