Rodler, P., Hofer, B., Jannach, D., Nica, I., & Wotawa, F. (2026). Choosing Abstraction Levels for Model-Based Software Debugging: A Theoretical and Empirical Analysis for Spreadsheet Programs (Abstract Reprint). Proceedings of the AAAI Conference on Artificial Intelligence, 40(47), 39890–39890. https://doi.org/10.1609/aaai.v40i47.41405