What do you think?
Rate this book
Software Foundations #4
Software Foundations, Volume 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
ebook
4 people are currently reading
30 people want to read
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.