Test Generation Using Symbolic Execution
Patrice Godefroid · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2012
This paper presents a short introduction to automatic code-driven test generation using symbolic execution. It discusses some key technical challenges, solutions and milestones, but is not an exhaustive survey of this research area.