Tag
property-based-testing
- 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
- Nov 10, 2022 Model-Based Testing with Explicit State Machines How a reference model plus a generator of valid operation sequences tests stateful systems, why the model must be simpler than the code, and how traces localize a divergence. software engineering