Solution: Just Do More Testing, Right?
We over-test many systems, and in particular, safety-critical systems. Testing is ad hoc and brute-force. (This is equivalent to repeatedly pulling the same ball from the urn.)
Testing must be applied intelligently and must be goal-based