Date of Original Version




Abstract or Description

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.



Published In

ICSE ’11, Waikiki, Honolulu, HI, USA.


To view the content in your browser, please download Adobe Reader or, alternately,
you may Download the file to your hard drive.

NOTE: The latest versions of Adobe Reader do not support viewing PDF files within Firefox on Mac OS and if you are using a modern (Intel) Mac, there is no official plugin for viewing PDF files within the browser window.