Refine your search
Availability
-
Bibliographic level
- Статьи из сборников (1)
- Книги (1)
-
Authors
- Евтушенко, Нина Владимировна [x]
- Громов, Максим Леонидович (1)
- Ермаков, Антон Дмитриевич (1)
- Коломеец, Антон Владимирович (1)
- Прокопенко, Светлана Анатольевна (1)
-
Locations
- Книгохранилище (1)
-
Item types
-
Topics
- тестирование программного обеспечения [x]
- Java Path Finder (JPF), инструмент для проверки многопоточных Java программ (1)
- Системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации) (1)
- автоматные модели (1)
- автоматы конечные (1)
- автоматы расширенные (1)
- верификация (1)
- диагностические тесты (1)
- диссертации (1)
- информационные технологии (1)
- пакет программ поиска уязвимостей в программном обеспечении (1)
- проверка безопасности программного обеспечения (1)
- проверяющие тесты (1)
- программные реализации протоколов (1)
- программы-верификаторы (1)
- расширенные автоматы (1)
- синтез тестов (1)
- синтез тестов проверяющих (1)
- тестирование программного обеспечения мутационное (1)
- труды ученых ТГУ (1)
- Show more
- Show less