New Software Testing Methods Improve Aircraft Safety and Help Save Lives