Trust, But Verify (Programmatically)

Test-Driven Development