You're basically saying test-driven development can find all problems with software, and it's well-known that that isn't the case. It's very dangerous to assume

You're basically saying test-driven development can find all problems with software, and it's well-known that that isn't the case. It's very dangerous to assume TDD is all that's needed when lives are at stake.