J. Jo et al., “DiagSim: Systematically Diagnosing Simulators for Healthy Simulations” TACO 2018 (to appear)