Symbolic Execution for Software Testing in Practice – Preliminary Assessment

We present results for the \Impact Project Focus Area" on
the topic of symbolic execution as used in software testing.
Symbolic execution is a program analysis technique intro-
duced in the 70s that has received renewed interest in recent
years, due to algorithmic advances and increased availability
of computational power and constraint solving technology.
We review classical symbolic execution and some modern
extensions such as generalized symbolic execution and dy-
namic test generation. We also give a preliminary assess-
ment of the use in academia, research labs, and industry.