Finding Failures in High-Fidelity Simulation using Adaptive Stress Testing and the Backward Algorithm