The Case for Formal Methods: Hillel Wayne
Feeling of Computing
00:00
Contracts, Property Tests, and Simplifying Tests
Hillel advocates using contracts plus randomized testing to encode many unit/integration tests succinctly and catch bugs.
Play episode from 43:13
Transcript
