Model-Based Debugging using Multiple Abstract Models

Wolfgang Mayer, Markus Stumptner

This paper introduces an automatic debugging framework that relies on model-based reasoning techniques to locate faults in programs. In particular, model-based diagnosis, together…