Testing, abstraction, theorem proving: better together!

This publication has 19 references indexed in Scilit:

• CUTE
  Published by Association for Computing Machinery (ACM) ,2005
• Concrete Model Checking with Abstract Matching and Refinement
  Published by Springer Nature ,2005
• A Theory of Predicate-Complete Test Coverage and Generation
  Published by Springer Nature ,2005
• Invited Talk Static and dynamic analysis
  Published by Association for Computing Machinery (ACM) ,2004
• Symbolic Implementation of the Best Transformer
  Published by Springer Nature ,2004
• Symbolically Computing Most-Precise Abstract Operations for Shape Analysis
  Published by Springer Nature ,2004
• Invariant inference for static checking:
  Published by Association for Computing Machinery (ACM) ,2002
• Parametric shape analysis via 3-valued logic
  ACM Transactions on Programming Languages and Systems, 2002
• Dynamically discovering likely program invariants to support program evolution
  IEEE Transactions on Software Engineering, 2001
• Software unit test coverage and adequacy
  ACM Computing Surveys, 1997