Fault Localization in Web Applications via Model Finding

TL;DR

This paper presents a generic fault localization technique for web applications that uses model finding and repair concepts to identify minimal changes restoring correctness, applicable across various specification languages.

Contribution

It introduces a novel, language-agnostic approach to fault localization based on minimal repairs, specifically applied to layout faults in web applications.

Findings

Effective in detecting layout faults in web apps

Applicable to multiple specification languages

Provides a minimal set of transformations for fault correction

Abstract

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.