EXE
Top Cited Papers
- 30 October 2006
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 322-335
- https://doi.org/10.1145/1180405.1180445
Abstract
No abstract availableKeywords
This publication has 37 references indexed in Scilit:
- CUTEACM SIGSOFT Software Engineering Notes, 2005
- 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
- ValgrindElectronic Notes in Theoretical Computer Science, 2003
- Type-based race detection for JavaACM SIGPLAN Notices, 2000
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- 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
- Simplification by Cooperating Decision ProceduresACM Transactions on Programming Languages and Systems, 1979
- SELECT—a formal system for testing and debugging programs by symbolic executionACM SIGPLAN Notices, 1975