Generating checking sequences for nondeterministic finite state machines

Petrenko, Alexandre F.; Simao, Adenilso da Silva; Yevtushenko, Nina V.

Generating checking sequences for nondeterministic finite state machines

Petrenko, Alexandre F., Simao, Adenilso da Silva, Yevtushenko, Nina V.

Дата публикации: 2012

Дата публикации в реестре: 2020-03-03T19:41:55Z

Ключевые слова:
тестирование, автоматы конечные недетерминированные

Тип: статьи в сборниках

Источник: IEEE Fifth International conference on software testing, verification and validation : (ICST 2012), Montreal, Quebec, Canada, 17-21 April 2012. Montreal ; Quebec , 2012. P. 310-319

Generating checking sequences for nondeterministic finite state machines

Связанные документы (рекомендация CORE)

Новости проекта

Новости

Партнеры

Индексация