Symbolic Execution for Software Testing in Practice ? Preliminary.pdf (209.85 kB)
Download file

Symbolic Execution for Software Testing in Practice – Preliminary Assessment

Download (209.85 kB)
journal contribution
posted on 01.01.2011, 00:00 authored by Cristian Cadar, Microsoft Research, Sarfraz Khurshid, Corina Pasareanu, Koushik Sen, Willem Visser

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.

History

Date

01/01/2011

Usage metrics

Exports