Execution Generated Test Cases: How to Make Systems Code Crash Itself
Top Cited Papers
- 1 January 2005
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- A Theory of Predicate-Complete Test Coverage and GenerationLecture Notes in Computer Science, 2005
- CVC Lite: A New Implementation of the Cooperating Validity CheckerLecture Notes in Computer Science, 2004
- KoratPublished by Association for Computing Machinery (ACM) ,2002
- CIL: Intermediate Language and Tools for Analysis and Transformation of C ProgramsLecture Notes in Computer Science, 2002
- Automatic predicate abstraction of C programsPublished by Association for Computing Machinery (ACM) ,2001
- Automated test data generation using an iterative relaxation methodPublished by Association for Computing Machinery (ACM) ,1998
- Automatic test data generation using constraint solving techniquesPublished by Association for Computing Machinery (ACM) ,1998
- The chaining approach for software test data generationACM Transactions on Software Engineering and Methodology, 1996
- An empirical study of the reliability of UNIX utilitiesCommunications of the ACM, 1990
- SELECT—a formal system for testing and debugging programs by symbolic executionACM SIGPLAN Notices, 1975