Skip to main content
Article thumbnail
Location of Repository

Symbolic execution for software testing in practice: preliminary assessment

By Cristian Cadar, Koushik Sen, Patrice Godefroid, Nikolai Tillmann, Sarfraz Khurshid, Willem Visser and Corina S. Păsăreanu


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 introduced 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 dynamic test generation. We also give a preliminary assessment of the use in academia, research labs, and industry. Categories and Subject Descriptor

Topics: D.2.5 [Testing and Debugging, Symbolic execution General Terms Reliability Keywords Generalized symbolic execution, dynamic test generation
Year: 2013
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.