Csöndes, T. et al. 1999. Test suite reduction in conformance testing. Acta Cybernetica. 14, 2 (Jan. 1999), 229–238.