In 2014, the NATS system at Heathrow Airport shut down because of a bug that was in the code since 1969 that no one had found. The system had literally millions of automated tests. The bug was dormant in the system for 45 years before it manifested itself in a crash.
Exceedingly rare events can’t be automatically…