Causal Detection in Linear Temporal Counterexamples. - Herong Meng; Dalal Alrajeh (SIGSOFT FSE Companion, 2025)