Chaos Testing stacks-node with Model-Based Stateful Testing
2025-03-10
Part of the Expression Problem in Rust series, applying madhouse-rs to reproduce a real production bug in the Stacks blockchain that traditional testing couldn't catch.
Blog
Scaling Model-Based Stateful Testing with madhouse-rs
2025-02-10
Part of the Expression Problem in Rust series, showing how madhouse-rs uses a trait-based design to escape the enum bottleneck.
Model-Based Stateful Testing with proptest-state-machine
2025-01-10
Part of the Expression Problem in Rust series, demonstrating how proptest-state-machine's enum-based design becomes a bottleneck at scale.
The Expression Problem, with Counters
2024-12-10
Part of the Expression Problem in Rust series, introducing the core tension between data-open and operations-open designs using a simple Counter example.
Model-Based Stateful Testing with madhouse-rs
2024-12-01
A series on the expression problem in Rust, model-based stateful testing, and how madhouse-rs scales real-world test harnesses by embracing a data-open design.
Fuzzing meets property testing
2023-12-15
Modern tools combine coverage-guided exploration with semantic correctness checks, creating hybrid approaches that leverage the best of both fuzzing and property-based testing worlds.
Property-based testing in Rust and Go
2023-12-01
Property-based testing shifts focus from 'does this crash?' to 'does this behave correctly?' by specifying invariants and generating test cases to validate them in Rust and Go.