Ask HN: What is the most well-tested code you know of and what can it teach us?

A read through how SQLite is tested (https://sqlite.org/testing.html) makes me realize how much more I could be doing to check my code is always correct. I'm not writing anything where a bug would mean life or death, but knowing a service won't crash overnight makes me sleep easier. What else can I look to for inspiration?