No abstract

In previous work [5] we have developed a generalised query minimisation based on minimum entropy technique [2] for diagnosing incorrect answers in the context of program debugging. This approach is adapted from model-based diagnosis. In this paper the query minimisation has been explored further to source program debugging [ l ] and to program diagnosis with missing answers. We argue that by allowing different ways of regarding diagnosis candidates this technique can be applied, as a general framework, for debugging many types of errors.