<?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%">Gonzalez-Sanchez, Alberto</style></author><author><style face="normal" font="default" size="100%">Rui Abreu</style></author><author><style face="normal" font="default" size="100%">Gross, Hans-Gerhard</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%">Spectrum-based sequential diagnosis</style></title><secondary-title><style face="normal" font="default" size="100%">Twenty-Fifth AAAI Conference on Artificial Intelligence 2011</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year><pub-dates><date><style  face="normal" font="default" size="100%">August</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/3565-16280-1-pb.pdf</style></url></related-urls></urls><publisher><style face="normal" font="default" size="100%">AAAI Press</style></publisher><pub-location><style face="normal" font="default" size="100%">San Francisco, CA, USA</style></pub-location><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;We present a spectrum-based, sequential software debugging approach coined SEQUOIA, that greedily selects tests out of a suite of tests to narrow down the set of diagnostic candidates with a minimum number of tests. SEQUOIA handles multiple faults, that can be intermittent, at polynomial time and space complexity, due to a novel, approximate diagnostic entropy estimation approach, which considers the subset of diagnoses that cover almost all Bayesian posterior probability mass. Synthetic experiments show that SEQUOIA achieves much better diagnostic uncertainty reduction compared to random test sequencing. Real programs, taken from the Software Infrastructure Repository, confirm SEQUOIA’s better performance, with a test reduction up to 80% compared to random test sequences.&lt;/p&gt;
</style></abstract></record></records></xml>