Périodique

Refining specifications in adaptive testing of nondeterministic finite state machines

Petrenko, A. and Yevtushenko, N. "Refining specifications in adaptive testing of nondeterministic finite state machines" Vestnik Tomskogo gosudarstvennogo universiteta (upravlenie, vychislitelnaya technica i informatica), 1 (6) 2009 : 99-114
[Résumé]