• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

Execution generated test cases: How to make systems code crash itself (2005)

Cached

  • Download as a PDF

Download Links

  • [www.stanford.edu]
  • [www.doc.ic.ac.uk]
  • [hci.stanford.edu]
  • [www.stanford.edu]
  • [www.sct.inf.ethz.ch]
  • [www.cs.stanford.edu]
  • [sct.inf.ethz.ch]

  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Cristian Cadar , Dawson Engler
Citations:70 - 7 self
  • Summary
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@TECHREPORT{Cadar05executiongenerated,
    author = {Cristian Cadar and Dawson Engler},
    title = { Execution generated test cases: How to make systems code crash itself},
    institution = {},
    year = {2005}
}

Years of Citing Articles

Bookmark

citeulike Connotea Bibsonomy Del.icio.us Digg Reddit

OpenURL

 

Abstract

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 works by turning the problem on its head: we lazily generate, from within the program itself, the input values to the program (and values derived from input values) as needed. We applied the technique to real code and found numerous corner-case errors ranging from simple memory overflows and infinite loops to subtle issues in the interpretation of language standards.

Citations

1130 The model checker SPIN - Holzmann - 1997
514 Bandera: Extracting finite-state models from Java source code - Corbett, Dwyer, et al. - 2000
355 DART: directed automated random testing - GODEFROID, KLARLUND, et al. - 2005
348 S.K.: Automatic predicate abstraction of C programs 36(5 - Ball, Majumdar, et al. - 2001
348 Automatically validating temporal safety properties of interfaces - Ball, Rajamani - 2001
330 CIL: Intermediate language and tools for analysis and transformation of C programs - Necula, McPeak, et al. - 2002
324 Model Checking for Programming Languages using VeriSoft - Godefroid - 1997
242 A static analyzer for finding dynamic programming errors. Software—Practice and Experience - Bush, Pincus, et al. - 2000
237 D.: Korat: Automated testing based on Java predicates - Boyapati, Khurshid, et al. - 2002
184 CVCLite: A new implementation of the cooperating validity checker category b - Barrett, Berezin
163 An Empirical Study of the Reliability of UNIX Utilities - Miller, Fredriksen, et al. - 1990
106 Enhancing server availability and security through failure-oblivious computing - Rinard, Cadar, et al. - 2004
84 B.: The chaining approach for software test data generation - Ferguson, Korel - 1996
78 Fuzz revisited: A re-examination of the reliability of unix utilities and services - Miller, Koski, et al. - 1995
76 M.: Automatic test data generation using constraint solving techniques - Gotlieb, Botella, et al. - 1998
66 Automated test data generation using an iterative relaxation method - GUPTA, MATHUR, et al. - 1998
61 SELECT - A formal system for testing and debugging programs by symbolic execution - Boyer, Elspas, et al. - 1975
43 Model checking programs - Brat, Havelund, et al.
42 Static Analysis versus Software Model Checking for Bug Finding - Engler, Musuvathi - 2004
40 A theory of predicate-complete test coverage and generation - Ball - 2004
38 Path-sensitive program verification in polynomial time - DAS, LERNER, et al. - 2002
23 From code to models - HOLZMANN
8 D.: A decision procedure for fixed-width bit-vectors - Berezin, Ganesh, et al. - 2005
6 Analysis of the constraint solver in una based test data generation - Edvardsson, Kamkar - 2001
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University