| 
Поиск по ключевому слову "верификация"
Разработка и исследование синтетического метода верификации программы с помощью SMT-решателей
| Авторы: Рудаков И.В., Гурин Р.Е. | Опубликовано: 12.08.2016 |
| Опубликовано в выпуске: #4(109)/2016 | |
| DOI: 10.18698/0236-3933-2016-4-49-64 | |
| Раздел: Информатика, вычислительная техника и управление | Рубрика: Системный анализ, управление и обработка информации | |
| Ключевые слова: верификация, анализ кода, статический анализ, динамический анализ, интерпретация, символьное выполнение, проверка модели | |
Масштабирование алгоритмов для автоматической генерации модульных тестов
| Авторы: Рудаков И.В., Ребриков А.В. | Опубликовано: 01.09.2013 |
| Опубликовано в выпуске: #4(85)/2011 | |
| DOI: | |
| Раздел: Краткие сообщения | |
| Ключевые слова: тестирование, автоматическая генерация тестов, верификация, масштабирование алгоритмов | |