Test suite reduction in conformance testing - Csöndes, Tibor; Dibuz, Sarolta; Kotnyek, Balázs (Acta Cybernetica, 1999)