Preface
1. Foundations of Property-Based Testing
2. Property-Based Testing Tools
3. What is a Property
4. Stateless Properties
5. Custom Generators
6. Case Study: Stateless Properties with Birthday Wishes
7. Case Study: Stateless Properties with a Checkout
8. Shrinking
9. Stateful Properties
10. Case Study: Stateful Properties with a Bookstore
11. State Machine Properties
