Tag
shrinking
- Jan 6, 2024 Property-Based Testing and How Shrinking Finds the Minimal Case Why random generation finds inputs a hand-written table misses, how generators compose, and the reduction algorithm that turns a failing 400-element list into a failing 3-element one. software engineering
- Nov 12, 2022 Reducing Failing Inputs to a Minimal Counterexample How property-based testers search for smaller inputs that still fail, why shrinking needs deterministic failures and per-type reduction rules, and what delta debugging assumes. developer tools