This volume of Software Foundations introduces QuickChick, a property-based random testing tool for Coq.

Setup

For working with this material, you will need to install QuickChick. Instructions can be found here: https://github.com/QuickChick/QuickChick The QuickChickInterface chapter serves as a reference manual for QuickChick. The rest of the book explains its features more gently.

Thanks

Development of the Software Foundations series has been supported, in part, by the National Science Foundation under the NSF Expeditions grant 1521523, The Science of Deep Specification. Work on this volume was also supported by NSF grant 1421243, Random Testing for Language Design.