Том 13, часть 1

В.П. Иванников. Предисловие. Стр. 3-4.

Н.В. Пакулин, А.К. Петренко, О.Л. Петренко, А.А. Сортов, А.В. Хорошилов. Открытые стандарты и новые формы международного сотрудничества. Стр. 7-30.

Д. В. Силаков. Текущее состояние и перспективы развития инфраструктуры LSB. Стр. 31-46.

С.В. Зеленов, Н.В. Пакулин. Верификация компиляторов – систематический подход. Стр. 47-64.

В.В. Гингина, С.В. Зеленов, С.А. Зеленова. Тестирование трансляторов: проблема построения оракула для генератора кода. Стр. 65-78.

Д.Ю. Кичигин. Об одном методе сокращения набора тестов. Стр. 79-92.

К.А. Власов, А.С. Смачёв. Методика автоматизированной проверки возвращаемых кодов ошибок при тестировании программных интерфейсов. Стр. 93-102.

В.С. Мутилин. Тестирование компонентов, взаимодействующих посредством удаленного вызова методов. Стр. 103-122.

А.С. Камкин. Использование контрактных спецификаций для автоматизации функционального тестирования моделей аппаратного обеспечения. Стр. 123-142.

Д.В. Зацепин, В.З. Шнитман. Особенности применения технологии UniTESK для тестирования функций мобильности в протоколе IPv6. Стр. 143-170.