(** * 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 [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, \URLhttp://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_. *)

(* 2020-08-30 18:19 *)