%0 Conference Paper
%B Proceedings of the International Workshop on Principles of Diagnosis (DX)
%D 2009
%T Prioritising model-based debugging diagnostic reports
%A Mayer, Wolfgang
%A Rui Abreu
%A Stumptner, Markus
%A van Gemund, AJ
%A others
%C Stockholm, Sweden
%X <p>Model-based debugging has proved successful as a tool to guide automated debugging efforts, but the technique may suffer from large result sets in prac-tice, since no means to rank or discriminate between the returned candidate explanations are available. We present a unique combination of model-and spectrum-based fault localisation approach to rank explanations and show that the combined frame-work outperforms the individual approaches as well as other state of the art automated debugging mech-anisms.</p>
%8 June
%> https://haslab.uminho.pt/sites/default/files/ruimaranhao/files/0deec52dfd7882839b000000.pdf