Book details
Software Foundations Vol 4: QuickChick: Property-Based Testing in Coq
Categories Property based testing , Coq , Software engineering
QuickChick introduces property-based random testing in Coq, showing how executable properties can uncover counterexamples to program specifications. It develops generators, printers, and shrinkers, then applies the tool to typeclasses, a typed imperative-language case study, larger projects, mutation testing, and the QuickChick interface.
