Title :
Bixie: Finding and Understanding Inconsistent Code
Author :
McCarthy, Tim ; Rummer, Philipp ; Schaf, Martin
Abstract :
We present Bixie, a tool to detect inconsistencies in Java code. Bixie detectsinconsistent code at a higher precision than previous tools and provides novelfault localization techniques to explain why code is inconsistent. Wedemonstrate the usefulness of Bixie on over one million lines of code, showthat it can detect inconsistencies at a low false alarm rate, and fix a numberof inconsistencies in popular open-source projects. Watch our Demo at http://youtu.be/QpsoUBJMxhk.
Keywords :
Java; program compilers; program diagnostics; software fault tolerance; Bixie; Java code; fault localization technique; inconsistent code finding; inconsistent code understanding; open-source projects; Arrays; Benchmark testing; Computer bugs; Java; Open source software; Runtime; Unsolicited electronic mail;
Conference_Titel :
Software Engineering (ICSE), 2015 IEEE/ACM 37th IEEE International Conference on
DOI :
10.1109/ICSE.2015.213
