Property-based testing and fuzzing

Eighteen pages on generative testing: what these two techniques actually are, why the oracle matters more than the mutator, and what both look like against a protocol with eleven independent implementations.