Testing, abstraction, theorem proving: better together!
- 21 July 2006
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 145-156
- https://doi.org/10.1145/1146238.1146255
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- CUTEPublished by Association for Computing Machinery (ACM) ,2005
- Concrete Model Checking with Abstract Matching and RefinementLecture Notes in Computer Science, 2005
- A Theory of Predicate-Complete Test Coverage and GenerationLecture Notes in Computer Science, 2005
- Invited Talk Static and dynamic analysisPublished by Association for Computing Machinery (ACM) ,2004
- Symbolic Implementation of the Best TransformerLecture Notes in Computer Science, 2004
- Symbolically Computing Most-Precise Abstract Operations for Shape AnalysisLecture Notes in Computer Science, 2004
- Invariant inference for static checking:Published by Association for Computing Machinery (ACM) ,2002
- Parametric shape analysis via 3-valued logicACM Transactions on Programming Languages and Systems, 2002
- Dynamically discovering likely program invariants to support program evolutionIEEE Transactions on Software Engineering, 2001
- Software unit test coverage and adequacyACM Computing Surveys, 1997