T. Csöndes, S. Dibuz, and B. Kotnyek, “Test suite reduction in conformance testing”, Acta Cybern, vol. 14, no. 2, pp. 229-238, Jan. 1999.