Symbolic execution is a powerful tool to systematically explore programs, but it must be
applied judiciously to be cost-effective, particularly with large program units. This work …

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 …

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 an effective technique for exploring paths in a program and reasoning
about all possible values on those paths. However, the technique still struggles with code …

Forward symbolic execution is a program analysis technique that allows using symbolic
inputs to explore program executions. The traditional applications of this technique have …

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 …

Merging execution paths is a powerful technique for reducing path explosion in symbolic
execution. One approach, introduced and dubbed “veritesting” by Avgerinos et al., works by …

Symbolic execution is a well-known program analysis technique that explores multiple
program paths simultaneously. Among other things, it is used to uncover subtle bugs and …

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 …