TY - JOUR T1 - Divergence and fair testing JF - Automata, Languages and Programming Y1 - 1995 A1 - Natarajan,V. A1 - Cleaveland, Rance ER -