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

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

Авторов:
761 409

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

Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации : диссертация на соискание ученой степени кандидата технических наук : 05.13.01.

Ермаков, Антон Дмитриевич, Евтушенко, Нина Владимировна (научный руководитель)

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

Дата публикации в реестре: 2020-03-03T18:22:33Z

Ключевые слова:
Системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации), диссертации, автоматы конечные, автоматы расширенные, тестирование программного обеспечения, синтез тестов проверяющих, тестирование программного обеспечения мутационное, верификация, проверка безопасности программного обеспечения, программы-верификаторы, автоматные модели, пакет программ поиска уязвимостей в программном обеспечении, Java Path Finder (JPF), инструмент для проверки многопоточных Java программ

Тип: диссертации

Права: metadata only access

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

Партнеры

КФУ
ТГУ
Elpub
СФУ
Webpublishers

Индексация

BASE
WorldCat
OpenAIRE
EDS
core