SmallCheck and Lazy SmallCheck

automatic exhaustive testing for small values

by Colin Runciman, Matthew Naylor, Fredrik Lindblad

Papers, slides, programs and benchmarks

Our paper about SmallCheck and Lazy SmallCheck, which appeared at Haskell'08.
Slides of our Haskell'08 talk by Colin.
Slides of a talk that Matthew gave at Fun in the Afternoon, York, November 2007.
SmallCheck is a Hackage package.
Lazy SmallCheck is a Hackage package or a standalone module.
An experimental Data.Generics variant of Lazy SmallCheck.
Benchmark examples used in the paper.

Limitations

Lazy SmallCheck currently does not provide the existential quantification and function generation features of SmallCheck.

When using Hugs, testing properties with Lazy SmallCheck sometimes produces a ``control stack overflow''. This is due to a bug in the implementation of exception handling in Hugs, which will be fixed in the next release of Hugs. GHC does not suffer from this problem.

Contributors

Thanks to Gwern Branwen, Andy Gill, Neil Mitchell and the Haskell'08 reviewers for contributions and suggestions.