A systematic exploration of configuration failures in flight control software