On the synthesis of adaptive tests for nondeterministic finite state machines. - Maxim Gromov; Nina V. Evtushenko; Anton V. Kolomeets (Program. Comput. Softw., 2008)