Logo - Fakultät Illustration



"Improving coverage-based localization of multiple faults using algorithms from Integer Linear Programming"

AutorInnen: Friedrich Steimann
Marcus Frenkel
Kategorie: Konferenzbandbeiträge
erschienen in: 23rd IEEE International Symposium on Software Reliability Engineering (ISSRE) (2012), 121-130

Coverage-based fault localization extends the utility of testing from detecting the presence of faults to their localization. While coverage-based fault localization has shown good evaluation results for the single fault case, its ability to localize several faults at once appears to be limited. In this paper, we show how two partitioning procedures borrowed from integer linear programming can help improve the accuracy of standard coverage-based fault locators in presence of multiple faults by breaking down the localization problem into several smaller ones that can be dealt with independently. Experimental results suggest that our approach is indeed useful, the more so as its cost appears to be negligible.

Download: PDF
Sarah Lang | 23.08.2013
FernUni-Logo FernUniversität in Hagen, Fakultät für Mathematik und Informatik, Lehrgebiet Programmiersysteme, 58084 Hagen, Tel.: +49 2331 987-2998