P. Rodler, B. Hofer, D. Jannach, I. Nica, and F. Wotawa, “Choosing Abstraction Levels for Model-Based Software Debugging: A Theoretical and Empirical Analysis for Spreadsheet Programs (Abstract Reprint)”, AAAI, vol. 40, no. 47, pp. 39890–39890, Mar. 2026.