I am looking for (reasonably matured and hopefully easy to install) QuickCheck-like property based testing software for OCaml code.