All things fuzzy

We talk about fuzz testing, invariant testing, symbolic testing, and formal verification.