A considerable body of work on model-based software debugging (MBSD) has been
published in the past decade. We summarise the underlying ideas and present the different …

In the last two decades, a great amount of effort has been put in researching automated
debugging techniques to support developers in the debugging process. However, in a …

A key advantage of model-based diagnosis is the ability to use a generic model for the
production of system descriptions that can be used to derive diagnoses for differently …

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 …

Finding and fixing faults in programs is usually an expensive and tedious task.
Consequently the development of intelligent debugging tools that aid the programmer in this …

Program debugging is a difficult and time-consuming task. Our ultimate goal in this work is to
help developers reduce the space of potential root causes for failures, which can, in turn …

The paper presents the Software Measurement Analysis and Reliability Toolkit (SMART)
which is a research tool for software quality modeling using case based reasoning (CBR) …

A key advantage of model-based diagnosis is the ability to use a generic model for the
production of system descriptions that can be used to derive diagnoses for differently …

The software engineering industry suffers from almost unmanageable complexity both in the
products it produces and in the processes of production. One of the current shortcomings in …

With recent research showing that consistency based diagnosis can be used to model
programs written in imperative programming languages for debugging purposes, it has been …