(** * Preface *)

(** 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 \CHAP{QuickChickInterface} chapter serves as a reference
    manual for QuickChick.  The rest of the book explains its features
    more gently. *)

(* ###################################################################### *)
(** * Practicalities *)
(** ** Recommended Citation Format *)

(** If you want to refer to this volume in your own writing, please
    do so as follows:
[[
   @book            {$FIRSTAUTHOR:SF$VOLUMENUMBER,
   author       =   {$AUTHORS},
   title        =   "$VOLUMENAME",
   series       =   "Software Foundations",
   volume       =   "$VOLUMENUMBER",
   year         =   "$VOLUMEYEAR",
   publisher    =   "Electronic textbook",
   note         =   {Version $VERSION, \URL{http://softwarefoundations.cis.upenn.edu} },
   }
]]
*)

(** * 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_. *)