Choosing Abstraction Levels for Model-Based Software Debugging: A Theoretical and Empirical Analysis for Spreadsheet Programs (Abstract Reprint).

Patrick Rodler, Birgit Hofer, Dietmar Jannach, Iulia Nica, Franz Wotawa

Browse the full AAAI paper archive.