@conference {mayer2009prioritising,
	title = {Prioritising model-based debugging diagnostic reports},
	booktitle = {Proceedings of the International Workshop on Principles of Diagnosis (DX)},
	year = {2009},
	month = {June},
	address = {Stockholm, Sweden},
	abstract = {<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>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/ruimaranhao/files/0deec52dfd7882839b000000.pdf},
	author = {Mayer, Wolfgang and Rui Abreu and Stumptner, Markus and van Gemund, AJ and others}
}