Синтез проверяющих последовательностей для недетерминированных автоматов относительно редукции - «Национальный агрегатор открытых репозиториев российских университетов» (НОРА)

Материалов:
1 005 012

Репозиториев:
30

Авторов:
761 409

расширенный поиск

Синтез проверяющих последовательностей для недетерминированных автоматов относительно редукции

Ермаков, Антон Дмитриевич

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

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

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

Тип: статьи в журналах

Источник: Труды Института системного программирования РАН. 2014. Т. 26, вып. 6. С. 111-123

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