20 citations · 20 across the 1 of their papers we have counts for
2 papers
cs.SE2003★ 20 cited
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…
cs.SE2000
Extended Abstract - Model-Based Debugging of Java Programs
Cristinel Mateis, Markus Stumptner, Dominik Wieland +1
Model-based reasoning is a central concept in current research into intelligent diagnostic systems. It is based on the assumption that sources of incorrect behavior in technical de…