Execution Generated Test Cases: How to Make Systems Code Crash Itself

  title={Execution Generated Test Cases: How to Make Systems Code Crash Itself},
  author={Cristian Cadar and Dawson R. Engler},
This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) execution. The input values to a program (or software component) provide the standard interface of any testing framework with the program it is testing, and generating input values that will explore all the “interesting” behavior in the tested program remains an important open problem in software testing research. Our approach… CONTINUE READING
Highly Influential
This paper has highly influenced 21 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 279 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 171 extracted citations

280 Citations

Citations per Year
Semantic Scholar estimates that this publication has 280 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 25 references

A decision procedure for fixed-width bit-vectors

  • V. Ganesh, S. Berezin, D. L. Dill
  • Unpublished Manuscript,
  • 2005
1 Excerpt

A theory of predicate-complete test coverage and generation

  • T. Ball
  • In FMCO’2004: Symp. on Formal Methods for…
  • 2004
2 Excerpts

Wsmp 3 exploit

  • R. S. Boyer, B. Elspas, K. N. Levitt
  • 2003

Beebee . Enhancing server availability and security through failureoblivious computing

  • S. J.William
  • Symposium on Operating Systems Design and…
  • 2002

Similar Papers

Loading similar papers…