Testing Non-Deterministic X-Machines.

Published in: Grammars and Automata for String Processing (2003)