An Application of Explanation-Based Learning to Protocol Conformance Testing. - C. Geldrez; Stan Matwin; Johanne Morin; Robert L. Probert (IEEE Expert, 1990)