How Is Critical Life or Death Software Tested?238 points by pablobazRead the articleDiscussion on Hacker News