Csöndes, T., Dibuz, S. and Kotnyek, B. 1999. Test suite reduction in conformance testing. Acta Cybernetica. 14, 2 (Jan. 1999), 229-238.