%0 Conference Paper
%B Proceedings of the 2009 ACM symposium on Applied Computing - ACM SAC
%D 2009
%T Refining spectrum-based fault localization rankings
%A Rui Abreu
%A Mayer, Wolfgang
%A Stumptner, Markus
%A Van Gemund, Arjan JC
%C Hawaii, USA
%I ACM
%P 409–414
%X <p>Spectrum-based fault localization is a statistical technique that aims at helping software developers to find faults quickly by analyzing abstractions of program traces to create a ranking of most probable faulty components (e.g., program statements). Although spectrum-based fault localization has been shown to be effective, its diagnostic accuracy is inherently limited, since the semantics of components are not considered. In particular, components that exhibit identical execution patterns cannot be distinguished. To enhance its diagnostic quality, in this paper, we combine spectrum-based fault localization with a model-based debugging approach based on abstract interpretation within a framework coined DEPUTO. The model-based approach is used to refine the ranking obtained from the spectrum-based method by filtering out those components that do not explain the observed failures when the program’s semantics is considered. We show that this combined approach outperforms the individual approaches and other state-of-the-art automated debugging techniques.</p>
%8 March
%> https://haslab.uminho.pt/sites/default/files/ruimaranhao/files/sacse-abreu09.pdf