Also, you're trivializing the challenges likely faced by the kind of venture. It's not always possible to find all bugs, unless you want to code in Ada and formally verify things with OCaml and are trying to fly a plane.
The problem could have been caused by a strange hardware defect, a rare bug in a library, etc.