Obligatory mention of SQLight going the DO-178B route. https://corecursive.com/066-sqlite-with-richard-hipp/#testing-and-aviation-standards https://corecursive

Obligatory mention of SQLight going the DO-178B route. https://corecursive.com/066-sqlite-with-richard-hipp/#testing-and-aviation-standards https://corecursive.com/066-sqlite-with-richard-hipp/#testin... "Richard Hipp: Getting that last 5% is really, really hard and it took about a year for me to get there, but once we got to that point, we stopped getting bug reports from Android. "Richard Hipp: Yes, so we’ll do billions of tests."