  We describe a generic technique for fault localization independent from the
nature of the object or the specification language used to declare its expected
properties. This technique is based on the concept of "repair", a minimal set
of transformations which, when applied to the original object, restores its
satisfiability with respect to the specification. We show how this technique
can be applied with various specification languages, including propositional
and finite first-order logic. In particular, we focus on its use in the
detection of layout faults in web applications.
