Verified Model-Based Conformance Testing for Dummies | Welltyped Systems
welltyped.systems
How a small, proved model plus a differential fuzzer catches deep logic bugs normally missed by tests.