Smallcheck is similar to quickcheck (claessen and hughes 2000-) but instead of testing for a sample of randomly generated values, smallcheck tests properties for all the finitely many values up to some depth, progressively increasing the depth used.

this package provides a library for the haskell programming language, compiled for profiling. see http://www.haskell.org/ for more information on haskell.