Slides for Property-based testing