Document Open Access Logo

Test Generation Using Symbolic Execution

Author Patrice Godefroid



PDF
Thumbnail PDF

File

LIPIcs.FSTTCS.2012.24.pdf
  • Filesize: 335 kB
  • 10 pages

Document Identifiers

Author Details

Patrice Godefroid

Cite AsGet BibTex

Patrice Godefroid. Test Generation Using Symbolic Execution. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012). Leibniz International Proceedings in Informatics (LIPIcs), Volume 18, pp. 24-33, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2012)
https://doi.org/10.4230/LIPIcs.FSTTCS.2012.24

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.
Keywords
  • Testing
  • Symbolic Execution
  • Verification
  • Test Generation

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail