Normal view
MARC view
Generating checking sequences for nondeterministic finite state machines A. Petrenko, A. Simao, N. Yevtushenko
Material type: ArticleSubject(s): тестирование | автоматы конечные недетерминированныеGenre/Form: статьи в сборниках Online resources: Click here to access online In: IEEE Fifth International conference on software testing, verification and validation : (ICST 2012), Montreal, Quebec, Canada, 17-21 April 2012 P. 310-319No physical items for this record
Библиогр.: 27 назв.
There are no comments on this title.