The IDT system and its application for learning Prolog programs

The basic concept of IDT is very similar to GADT (Generalized Algorithmic Debugging and Testing) presented in [FGK91]. In GADT the CPM (Category Partition Testing Method) [OSB88] was combined with an algorithmic debugging method to localize a bug in the program using minimal number of user interactions. In CPM the tester has to define equivalence classes called test frames over the input domain. There is an assumption that the behaviour of a test frame from the point of view of the testing process can be represented by an arbitrary element of it (called test case).