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.
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]