Stefan Staber

TL;DR: An efficient fully automatic approach to fault localization for safety properties stated in linear temporal logic is presented by solving the satisfiability of a propositional Boolean formula using the proper decision heuristics and simulation-based preprocessing.

TL;DR: A method to automatically locate and correct faults in a finite state system, either at the gate level or at the source level, and finds a memoryless strategy that corresponds to a simple, local correction that does not add any state.

TL;DR: This work presents a method for combined fault localization and correction for sequential systems, and compares its approach to model based diagnosis and shows that it is more precise.

TL;DR: An automatic approach for fault localization in C programs is presented, based on model checking and reports only components that can be changed such that the difference between actual and intended behavior of the example is removed.

TL;DR: This paper study the use of QBF solvers for fault localization and correction of sequential circuits by evaluating a sequence of quantified Boolean formulas, which is more precise than a satisfiability-based approach that was developed earlier.