Статьи и документы

Избранные статьи

• В. Кулямин, А. Петренко, В. Рубанов, А. Хорошилов
  Формализация интерфейсных стандартов и автоматическое построение тестов соответствия
  Software Engineering Conference Russia (SECR 2006), ноябрь 2006.

• А. Гриневич, В. Кулямин, Д. Марковцев, А. Петренко, В. Рубанов, А. Хорошилов
  Использование формальных методов для обеспечения соблюдения программных стандартов
  Труды ИСП РАН, том 10, 2006.

• А. Хорошилов
  Linux Standard Base: история успеха?
  Труды ИСП РАН, том 10, 2006.

• В. Кулямин
  Формальные подходы к тестированию математических функций
  Труды ИСП РАН, том 10, 2006.

• Victor V. Kuliamin, Nickolay V. Pakoulin, and Alexander K. Petrenko
  Practical Approach to Specification and
  Conformance Testing of Distributed Network Applications
  Доклад на 2-nd International Service Availability Symposium, Берлин, апрель 2005.

• А.В. Баранцев, И.Б. Бурдонов, А.В. Демаков, С.В. Зеленов, А.С. Косачев, В.В. Кулямин, В.А. Омельченко, Н.В. Пакулин, А.К. Петренко, А.В. Хорошилов
  Подход UniTESK к разработке тестов: достижения и перспективы
  Труды Института системного программирования РАН. Том 5, 2004.
  

Пресс-релизы и презентации

• А.К. Петренко
  Технология верификации программных интерфейсов
  Доклад на конференции LinuxWorld Moscow 2006, 04 сентября 2006 г.

• А. Гриневич, В. Кулямин, Д. Марковцев, А. Петренко, В. Рубанов, А. Хорошилов
  Formal Methods in Industrial Software Standards Enforcement
  Доклад на конференции Перспективы систем информатики (PSI'06), 27 июня 2006 г.

• А.К. Петренко
  UniTESK: технология тестирования на основе спецификаций
  Презентация на семинаре в IBM, 14 декабря 2005 г.

• ИСП РАН
  В России открывается Центр верификации ОС Linux
  Пресс-релиз, 12 октября 2005 г.
  

Дополнительная информация