What do you think?
Rate this book
Software Foundations #4
QuickChick: Property-Based Testing in Coq
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.
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.
- GenresComputer Science
Unknown Binding
Published January 1, 2021
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
No one has reviewed this book yet.