ocaml-qcheck

Qcheck enables checking invariants (properties of a type) over randomly generated instances of the type. It provides combinators for generating instances and printing them.