Allowing test execution to continue after failures: tool support and an industrial case study for fault-tolerant online model-based testing - Garousi, Vahid; Keleş, Alper Buğra; Balaman, Yunus; O'Donovan, Glen (Elsevier BV, 2026)