QuickCheck

This publication has 11 references indexed in Scilit:

• Lava
  Published by Association for Computing Machinery (ACM) ,1998
• Software unit test coverage and adequacy
  ACM Computing Surveys, 1997
• Generating test data with enhanced context-free grammars
  IEEE Software, 1990
• Partition testing does not inspire confidence (program testing)
  IEEE Transactions on Software Engineering, 1990
• Self-testing/correcting with applications to numerical problems
  Published by Association for Computing Machinery (ACM) ,1990
• Designing programs that check their work
  Published by Association for Computing Machinery (ACM) ,1989
• Theorems for free!
  Published by Association for Computing Machinery (ACM) ,1989
• Data Abstraction, Implementation, Specification, and Testing
  ACM Transactions on Programming Languages and Systems, 1981
• Compiler testing using a sentence generator
  Software: Practice and Experience, 1980
• A Computing Procedure for Quantification Theory
  Journal of the ACM, 1960