Fault Localization in Web Applications via Model Finding

Sylvain Hallé
(Université du Québec à Chicoutimi)
Oussama Beroual
(Université du Québec à Chicoutimi)

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.

Invited Presentation in Gregor Gössler and Oleg Sokolsky: Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies (CREST 2016), Eindhoven, The Netherlands, 8th April 2016, Electronic Proceedings in Theoretical Computer Science 224, pp. 55–67.
Published: 26th August 2016.

ArXived at: https://dx.doi.org/10.4204/EPTCS.224.6 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org