Prioritising model-based debugging diagnostic reports

Citation:
Mayer W, Abreu R, Stumptner M, van Gemund AJ, others.  2009.  Prioritising model-based debugging diagnostic reports. Proceedings of the International Workshop on Principles of Diagnosis (DX).

Date Presented:

June

Abstract:

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.

Citation Key:

mayer2009prioritising
PreviewAttachmentSize
0deec52dfd7882839b000000.pdf438.45 KB