%0 Conference Paper
%B Proceedings of the 2008 international workshop on dynamic analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008)
%D 2008
%T An observation-based model for fault localization
%A Rui Abreu
%A Zoeteweij, Peter
%A Van Gemund, Arjan JC
%C Seattle, WA, USA
%I ACM
%P 64–70
%X <p>Automatic techniques for helping developers innding the root causes of software failures<br /> are extremely important in the development cycle of software. In this paper we study a dynamic modeling approach to fault localization, which is based on logic reasoning over program traces. We present a simple diagnostic performance model to assess the inence of various parameters, such as test set size and coverage, on the debugging eort required tond the root causes of software failures. The model shows that our approach unambiguously reveals the actual faults, provided that suficient test cases are available. This optimal diagnostic performance is confirmed by numerical experiments. Furthermore, we present preliminary experiments on the diagnostic capabilities of this approach using the single-fault Siemens benchmark set. We show that, for the Siemens set, the approach presented in this paper yields a better diagnostic ranking than other well-known techniques.</p>
%8 July
%> https://haslab.uminho.pt/sites/default/files/ruimaranhao/files/azg_woda08.pdf