Blog

Anthropic's recent work shows how far property-based testing can go when you can express properties at a function boundary. This follow-up argues that consensus clients need model-based, stateful testing to catch failures that only appear across sequences of events.

Read more →

Part of the Expression Problem in Rust series, concluding with real-world lessons from building a trait-based testing framework that scales from dozens to hundreds of test operations.

Read more →

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.

Read more →

Part of the Expression Problem in Rust series, showing how madhouse-rs uses a trait-based design to escape the enum bottleneck.

Read more →

Part of the Expression Problem in Rust series, demonstrating how proptest-state-machine's enum-based design becomes a bottleneck at scale.

Read more →

Part of the Expression Problem in Rust series, introducing the core tension between data-open and operations-open designs using a simple Counter example.

Read more →

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.

Read more →