SQLite: 92 million lines of tests Dijkstra: Tests can only prove the presence of bugs, never their absence!
It's an art to come up with a great test suite that covers just enough and minimizes overlap, not only survives but also helps with refactoring.