May 24, 2026 100 Test Runs Is a Lie: How to Actually Size Your Property-Based Tests The default 100 examples in property-based testing is a social compromise, not a statistical strategy. deep-divesproperty-based-testingtest-coverageshrinking
May 23, 2026 Property-Based Tests in Rust Find the Bugs Your Unit Tests Miss Example-based testing only covers the inputs you thought of. deep-divesrustproperty-based-testingquickcheckproptest
May 16, 2026 The AI Safety Stack: Types, Contracts, Property Tests, and Mutation Gates If you want AI-generated code to survive production, do not rely on code review alone. ai-engineeringsafety-stacktypesdesign-by-contractproperty-based-testingmutation-testing
May 15, 2026 Why Great Engineering Ideas Stayed Niche Until AI Made Them Economical Design by contract, property-based testing, mutation testing, and model checking were not bad ideas. They were too expertise-heavy to sustain. ai-engineeringsoftware-reliabilitydesign-by-contractproperty-based-testingmutation-testing
