Институт системного программирования им. В.П. Иванникова РАН


Мутационное тестирование сетевых протоколов с использованием формальных моделей.

Авторы

Никешин А.В., Пакулин Н.В., Шнитман В.З.

Издание

В сборнике: Научный сервис в сети Интернет труды XVII Всероссийской научной конференции. ИПМ им. М.В.Келдыша. Москва, 2015. С. 259-266.

Научные группы

Архитектура вычислительных систем, Технологии программирования

Все публикации за 2015 год Все публикации