testing and debugging are among the most costly and time consuming tasks in the software development life cycle, a variety of … intelligent debugging aids have been proposed within the last three decades. Model-based software debugging (MBSD) is a particular … could potentially explain an observed misbehaviour. In contrast to other techniques, model-based debugging does not require …