QuickChick: Property-Based Testing in Coq

Software Foundations #4

by Leonidas Lampropoulos, Benjamin C. Pierce

The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software.

QuickChick: Property-Based Testing in Coq introduces tools and techniques for combining randomized property-based testing with formal specification and proof in the Coq ecosystem.

Genres: Computer Science

Unknown Binding

Published January 1, 2021