|
СТ |
Проверка нескольких требований за один запуск инструмента статической верификации с помо ью CEGAR |
2016 |
Мордань В. О., Мутилин В. С. |
|
|
|
Программирование |
08.10.2016 |
|
СТ |
Моделирование окружения с использованием шаблонов для статической верификации модулей ядра LINUX |
2015 |
Захаров И. С., Мутилин В. С., Хорошилов А. В. |
|
|
|
Программирование |
22.07.2015 |
|
СТ |
Конфигурируемая система статической верификации модулей ядра операционных систем |
2015 |
Захаров И. С., Мандрыкин М. У., Мутилин В. С., Новиков Е. М., Петренко А. К., Хорошилов А. В. |
|
|
|
Программирование |
12.03.2015 |
|
СТ |
Использование драйверов устройств операционной системы Linux для сравнения инструментов статической верификации |
2012 |
Мандрыкин М. У., Мутилин В. С., Новиков Е. М., Хорошилов А. В., Швед П. Е. |
|
|
|
Программирование |
04.12.2012 |
|
СТ |
Опыт развития инструмента статической верификации BLAST |
2012 |
Швед П. Е., Мутилин В. С., Мандрыкин М. У. |
|
|
|
Программирование |
22.08.2012 |
|
СТ |
Многопоточное тестирование программных интерфейсов |
2009 |
Мутилин В. С. |
|
|
|
Программирование |
03.02.2010 |
|
СТ |
Паттерны проектирования тестовых сценариев |
2006 |
Мутилин В. С. |
|
|
Институт системного программирования РАН |
Труды института системного программирования |
01.08.2006 |
