A comparison of fault explanation and localization
Franz Wotawa, Daniel Köb · 2005
Explaining and localizing a fault in a software sys-tem after observing that one exists is nontrivial. Therefore, an automatic approach to this task is highly desirable. Several methodologies have been proposed so far, but none of them solves this prob-lem satisfactory. In this paper we compare two such approaches. One approach is based on heuris-tics using counterexamples from a model checker and the other is based on a logically sound diag-nosis framework. Both approaches have specific strengths and weaknesses with respect to the type of software that is to be debugged. The goal of this work is to improve approaches based on logic with heuristics and vice versa. 1