<?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%">A dynamic modeling approach to software multiple-fault localization</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the Nineteenth International Workshop on Principles of Diagnosis - DX</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%">September</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/abreu_dx08.pdf</style></url></related-urls></urls><pub-location><style face="normal" font="default" size="100%">Blue Mountains, Australia</style></pub-location><volume><style face="normal" font="default" size="100%">8</style></volume><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Current model-based approaches to software debugging use static program analysis to derive model of the program. In contrast, in the software engineering domain diagnosis approaches are based on analyzing dynamic execution behavior. We present a model-based approach where the program model is derived from dynamic execution behavior, and evaluate its diagnostic performance for both synthetic programs and the Siemens software benchmark, extended by us to accommodate multiple faults. We show that our approach outperforms other model-based software debugging techniques, which is partly due to the use of De Kleer’s intermittency model to account for the variability of software component behavior.&lt;/p&gt;
</style></abstract></record></records></xml>