Generating checking sequences for nondeterministic finite state machines

Bibliographic Details
Published in:	IEEE Fifth International conference on software testing, verification and validation : (ICST 2012), Montreal, Quebec, Canada, 17-21 April 2012 P. 310-319
Main Author:	Petrenko, Alexandre F.
Corporate Author:	Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур
Other Authors:	Simao, Adenilso da Silva, Yevtushenko, Nina V.
Format:	Book Chapter
Language:	English
Subjects:	тестирование автоматы конечные недетерминированные статьи в сборниках
Online Access:	http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000436752 Перейти в каталог НБ ТГУ

Similar Items