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 popular program analysis technique that allows seeking for bugs by
reasoning over multiple alternative execution states at once. As the number of states to …

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

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 …

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 (SE) is a widely used program analysis technique. Existing SE engines
model the memory space by associating memory objects with concrete addresses, where …

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 popular program analysis technique that allows seeking for bugs by
reasoning over multiple alternative execution states at once. As the number of states to …

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 …