GitHub repository: stacks-network/madhouse-rs
Primary language: Rust
Description: Model-based Rust state machine testing. Inspired by Hughes, Testing the Hard Stuff and Staying Sane.