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 …

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 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 …

We describe an algorithm to perform symbolic execution of a multithreaded program starting
from an arbitrary program context. We argue that this can enable more efficient symbolic …

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

Symbolic execution is an effective program analysis technique whose scalability largely
depends on the ability to quickly solve large numbers of first-order logic queries. We …

Building effective symbolic execution engines poses challenges in multiple dimensions: an
engine must correctly model the program semantics, provide flexibility in symbolic execution …

We present SymTuner, a novel technique to automatically tune external parameters of
symbolic execution. Practical symbolic execution tools have important external parameters …