Cristian Cadar, Dawson Engler  Home/Search
Context Related
| stanford.edu/cstr/reports...200504.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: stanford.edu/cstr/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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... (Update)
Cited by: More
EXE: A System for Automatically Generating Inputs of.. - Cadar, Twohey.. (2006) (Correct)
Active bibliography (related documents): More All
0.5: Corrections for: Analysis of the Constraint Solver in UNA.. - Edvardsson, Kamkar (2001) (Correct)
0.3: Counterexample Guided Abstraction Refinement via Program.. - Kroening, Groce, Clarke (2004) (Correct)
0.2: Applying SAT Solving in Classification of Finite Algebras - Meier, Sorge (2005) (Correct)
Similar documents based on text:
5.0: Unknown - (Correct)
BibTeX entry: (Update)
C. Cadar and D. Engler. Execution generated test cases: How to make systems code crash itself. In Proceedings of the 12th International SPIN Workshop on Model Checking of Software, August 2005. A longer version of this paper appeared as Technical Report CSTR-2005-04, Computer Systems Laboratory, Stanford University. http://citeseer.ist.psu.edu/cadar05execution.html More
@misc{ cadar05execution,
author = "C. Cadar and D. Engler",
title = "Execution generated test cases: How to make systems code crash itself",
text = "C. Cadar and D. Engler. Execution generated test cases: How to make systems
code crash itself. In Proceedings of the 12th International SPIN Workshop
on Model Checking of Software, August 2005. A longer version of this paper
appeared as Technical Report CSTR-2005-04, Computer Systems Laboratory,
Stanford University.",
year = "2005",
url = "citeseer.ist.psu.edu/cadar05execution.html" }
Citations (may not include all citations):270 Bandera: Extracting finite-state models from java source cod.. - Corbett, Dwyer et al. - 2000
206 The model checker SPIN - Holzmann - 1997 ACM DBLP
123 Model Checking for Programming Languages using VeriSoft - Godefroid - 1997 ACM DBLP
108 Automatically validating temporal safety properties of inter.. - Ball, Rajamani - 2001
107 Automatic predicate abstraction of c programs - Ball, Majumdar et al. - 2001
59 A static analyzer for finding dynamic programming errors - Bush, Pincus et al. - 2000
49 An empirical study of the reliability of UNIX utilities - Miller, Fredriksen et al. - 1990 ACM DBLP
46 Model checking programs - Brat, Havelund et al. - 2000 ACM DBLP
43 Fuzz revisited: A re-examination of the reliability of UNIX .. - Miller, Koski et al. - 1995
38 Korat: Automated testing based on Java predicates - Boyapati, Khurshid et al. - 2002
29 Automatic test data generation using constraint solving tech.. (context) - Gotlieb, Botella et al. - 1998 ACM DBLP
26 Select -- a formal system for testing and debugging programs.. (context) - Boyer, Elspas et al. - 1975
26 The chaining approach for software test data generation (context) - Ferguson, Korel - 1996 ACM DBLP
18 Cil: Intermediate language and tools for analysis and transf.. - Necula, McPeak et al. - 2002 DBLP
15 Automated test data generation using an iterative relaxation.. - Gupta, Mathur et al. - 1998 ACM DBLP
11 Path-sensitive program verification in polynomial time - Das, Lerner et al. - 2002
11 From code to models - Holzmann - 2001 ACM DBLP
5 Static analysis versus software model checking for bug findi.. - Engler, Musuvathi - 2004 DBLP
4 Enhancing server availability and security through failure-o.. - Rinard, Cadar et al. - 2004
4 CVC Lite: A new implementation of the cooperating valid ity .. (context) - Barrett, Berezin - 2004
3 A theory of predicate-complete test coverage and generation (context) - Ball - 2004
2 Analysis of the constraint solver in una based test data gen.. - Edvardsson, Kamkar - 2001 ACM DBLP
1 A decision procedure for fixed-width bit-vectors (context) - Ganesh, Berezin et al. - 2005
1 comsecurityadvisorvulninfo Vuln (context) - reported, Associates et al.
http://wsmp3.sourceforge.net/
Documents on the same site (http://hci.stanford.edu/cstr/): More
Social Behaviors on XP and non-XP teams: A Comparative Study - Jan Chong Stanford (2005) (Correct)
Barehands: Implement-Free Interaction with a Wall-Mounted .. - Ringel, Berg, Jin.. (Correct)
WorkspaceNavigator: Tools for Capture, - Recall And Reuse (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC