TY  - BOOK
AU  - Ермаков,Антон Дмитриевич
AU  - Евтушенко,Нина Владимировна
ED  - Томский государственный университет
TI  - Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации: диссертация на соискание ученой степени кандидата технических наук : 05.13.01
PY  - 2016///
CY  - Томск
PB  - [б. и.]
KW  - Системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации)
KW  - nsnr
KW  - диссертации
KW  - автоматы конечные
KW  - автоматы расширенные
KW  - тестирование программного обеспечения
KW  - синтез тестов проверяющих
KW  - тестирование программного обеспечения мутационное
KW  - верификация
KW  - проверка безопасности программного обеспечения
KW  - программы-верификаторы
KW  - автоматные модели
KW  - пакет программ поиска уязвимостей в программном обеспечении
KW  - Java Path Finder (JPF), инструмент для проверки многопоточных Java программ
N1  - Библиогр.: л. 132-142; Доступ в сети ТГУ
UR  - http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000565581
ER  -