<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Rui Abreu</style></author><author><style face="normal" font="default" size="100%">Zoeteweij, Peter</style></author><author><style face="normal" font="default" size="100%">Van Gemund, Arjan JC</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">An observation-based model for fault localization</style></title><secondary-title><style face="normal" font="default" size="100%">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)</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2008</style></year><pub-dates><date><style  face="normal" font="default" size="100%">July</style></date></pub-dates></dates><urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/ruimaranhao/files/azg_woda08.pdf</style></url></related-urls></urls><publisher><style face="normal" font="default" size="100%">ACM</style></publisher><pub-location><style face="normal" font="default" size="100%">Seattle, WA, USA</style></pub-location><pages><style face="normal" font="default" size="100%">64–70</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Automatic techniques for helping developers innding the root causes of software failures&lt;br /&gt;
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 eort required tond the root causes of software failures. The model shows that our approach unambiguously reveals the actual faults, provided that suficient 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.&lt;/p&gt;
</style></abstract></record></records></xml>