Searched for: TUD-SERG-2008-014
(1 - 1 of 1)
document
Abreu, R.F. (author), Zoeteweij, P. (author), Van Gemund, A.J.C. (author)
This technical report is meant to report our findings and ideas with respect to spectrum-based fault localization and modelbased diagnosis. In the following we want to introduce and compare model-based diagnosis (MBD), spectrum-based fault localization (SFL) and our contributions using 3-inverters as a running example (which is simple, yet...
report 2008