talk-testing-distributed-systems-with-simulations
At 6:30 simulation testing is a subset of property-based testing (#)
related to testing-concept-simulators
Given that people aren't going to put any effort into testing, what's the best way to do it? Property-based testing. Generative testing. Random testing. Concolic Testing (which was done long before the term was coined). Static analysis. Fuzzing. Statistical bug finding. There are lots of options. Some of them are actually the same thing because the terminology we use is inconsistent and buggy. I'm going to arbitrarily pick one to talk about, but they're all worth looking into. (#)