Universal program debugging using query minimisation

In previous work (see Proc. AADEBUG 93, Springer-Verlag, 1993) we developed a generalised query minimisation based on minimum entropy technique for diagnosing incorrect answers in the context of program debugging. This approach is adapted from model-based diagnosis. In this paper the query minimisat... View More