QuickChick

QuickChick is a property-based testing tool for Coq and OCaml.

It is a "clone" of the Haskell testing tool QuickCheck.

The main author and maintainer of QuickChick is Leo Lampropoulos.

References

QuickChick GitHub repo
Volume 4 of Software Foundations is entirely based on QuickChick.
QuickChick is introduced in

Maxime Denes, Catalin Hritcu, Leonidas Lampropoulos, Zoe Paraskevopoulou, and Benjamin C. Pierce. QuickChick: Property-based testing for Coq. The Coq Workshop, July 2014. pdf

Zoe Paraskevopoulou, Catalin Hritcu, Maxime Denes, Leonidas Lampropoulos, and Benjamin C. Pierce. A Coq framework for verified property-based testing. Workshop on Coq for PL, January 2015. pdf