Automated specification-based testing has a long history with several notable tools having
emerged. For example, QuickCheck for Haskell focuses on testing against user-provided …

This paper introduces a new parallel run-time for QuickCheck, a Haskell library and EDSL
for specifying and randomly testing properties of programs. The new run-time can run …

Test oracles remain one of the least understood aspects of the modern testing process. An
oracle is a mechanism used by software testers and software engineers for determining …

Specifications are necessary for nearly every software engineering task, but they are often
missing or incomplete." Specification mining" is a line of research promising to solve this …

Two fundamental goals in programming are correctness (producing the right results) and
efficiency (using as few resources as possible). Property-based testing tools such as …

This paper describes two Haskell libraries for property-based testing. Following the lead of
QuickCheck, these testing libraries SmallCheck and Lazy SmallCheck also use type-based …

Property-based random testing, exemplified by frameworks such as Haskell's QuickCheck,
works by testing an executable predicate (a property) on a stream of randomly generated …

Symbolic reasoning about large programs is bound to be imprecise. How to deal with this
imprecision is a fundamental problem in program analysis. Imprecision forces …

Property-based testing tools, like QuickCheck, are widely used for testing Haskell programs.
Since QuickCheck's introduction in 2000, several other similar tools and techniques have …

SpecCheck is a QuickCheck-like testing framework for Isabelle/ML. You can use it to write
specifications for ML functions. SpecCheck then checks whether your specification holds by …