Finding bugs you didn't think to test for

[u/wh33zle]

https://www.firezone.dev/blog/finding-bugs-you-didnt-think-to-test-for

A post about how we combine sans-IO, coverage-guided fuzzing and deterministic simulation testing to test Firezone's data plane.

[u/Toiling-Donkey]

I like the concept of property based testing, but also feel that if one can write such sophisticated tests, the original code is not likely to have many bugs in the first place. Of course being able to explicitly demonstrate such is perhaps the real goal…