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.