[PPT] - Property-Based Testing PL Artifacts An experience report Alberto PowerPoint Presentation