Back to Search Start Over

Test Generation Using Symbolic Execution

Authors :
Godefroid, Patrice
Publication Year :
2012
Publisher :
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany, 2012.

Abstract

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.

Subjects

Subjects :
000 Computer science, knowledge, general works
Computer Science

Details

Language :
English
Database :
OpenAIRE
Accession number :
edsair.doi...........6f3f9c9e4872eb049226535b228973d3
Full Text :
https://doi.org/10.4230/lipics.fsttcs.2012.24
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details