Text this: Methods of constructing universal tests for finite-state automata.