A Theory of Predicate-Complete Test Coverage and Generation
- 1 January 2005
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Behavioral Consistency of C and Verilog Programs Using Bounded Model CheckingPublished by Defense Technical Information Center (DTIC) ,2003
- Reasoning about Abstract Open Systems with Generalized Module CheckingLecture Notes in Computer Science, 2003
- On the Expressiveness of 3-Valued ModelsLecture Notes in Computer Science, 2002
- KoratACM SIGSOFT Software Engineering Notes, 2002
- Abstraction-Based Model Checking Using Modal Transition SystemsLecture Notes in Computer Science, 2001
- A static analyzer for finding dynamic programming errorsSoftware: Practice and Experience, 2000
- Model Checking Partial State Spaces with 3-Valued Temporal LogicsLecture Notes in Computer Science, 1999
- The Science of ProgrammingPublished by Springer Science and Business Media LLC ,1981
- A System to Generate Test Data and Symbolically Execute ProgramsIEEE Transactions on Software Engineering, 1976
- SELECT—a formal system for testing and debugging programs by symbolic executionACM SIGPLAN Notices, 1975