@inproceedings{bca30bb80eec4c66a840fbd2842e4975,
title = "Explaining inconsistent code",
abstract = "A code fragment is inconsistent if it is not part of any normally terminating execution. Examples of such inconsistencies include code that is unreachable, code that always fails due to a run-time error, and code that makes conflicting assumptions about the program state. In this paper, we consider the problem of automatically explaining inconsistent code. This problem is difficult because traditional fault localization techniques do not apply. Our solution relies on a novel algorithm that takes an infeasible code fragment as input and generates a so-called error invariant automaton. The error invariant automaton is an abstraction of the input code fragment that only mentions program statements and facts that are relevant for understanding the cause of the inconsistency. We conducted a preliminary usability study which demonstrated that error invariant automata can help programmers better understand inconsistencies in code taken from real-world programs. In particular, access to an error invariant automata tripled the speed at which programmers could diagnose the cause of a code inconsistency.",
keywords = "Craig interpolation, Error detection, Fault localization, Inconsistent code, Static analysis",
author = "Martin Sch{\"a}f and Daniel Schwartz-Narbonne and Thomas Wies",
year = "2013",
doi = "10.1145/2491411.2491448",
language = "English (US)",
isbn = "9781450322379",
series = "2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings",
pages = "521--531",
booktitle = "2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings",
note = "2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 ; Conference date: 18-08-2013 Through 26-08-2013",
}