Impressive bug investigation story using Jepsen to test Cockroach DB: https://www.cockroachlabs.com/blog/jepsen-tests-lessons/
Related Posts
I love how the CommonMark Spec has a test suite that's just a JSON array. It's really easy to test a library for compliance, and I've seen developers nerd-sniped into full compliance.
https://spec.commonmark.org/0.31.2/spec.json
"Example Driven Development" using Glamorous and Pharo Smalltalk: https://medium.com/feenk/an-example-of-example-driven-development-4dea0d995920
Tests returning values and composing is a really interesting model. It establishes structure and shows which test failure is the most 'fundamental'.
Chekhov's repro: If a line of code is included in a bug report, it should contribute to the debugging somewhere.