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 … software engineering practices.A key aspect of model-based debugging is the transformation of the given program into a model …