Volume 14, issue 1 (in Russian)

News

02 August, 2019 OS DAY-2019. Cooperation among operating platform developers and the security of Russian software

10 April, 2019 Ivannikov Memorial Workshop has been supported by IEEE

14 March, 2019 The annual Ivannikov Memorial Workshop will take place on 13-14 September 2019

Proceedings of the Institute for System Programming. Volume 14, issue 1 (in Russian), 2008, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Edited by Academician V.P. Ivannikova

Table of Contents

Е.С. Чернов, В. В. Кулямин. Тестирование современных библиотек тригонометрических функций. Стр. 161-178.

С.Г. Грошев. Локализация ошибок методом сокращенного воспроизведения трассы. Стр. 137-160.

А.В. Демаков, С.В. Зеленов, С.А. Зеленова. Генератор сложных данных Pinery: реализация новых возможностей UniTESK. Стр. 119-136.

С.В. Зеленов, С.А. Зеленова. Автоматическое определение выполнимости наборов формул для операций сравнения. Стр. 109-118.

В.В. Кулямин. Критерии тестового покрытия, основанные на структуре контрактных спецификаций. Стр. 89-108.

В.С. Мутилин. Многопоточное тестирование программных интерфейсов. Стр. 73-88.

И.Б. Бурдонов, А.С. Косачев. Эквивалентные семантики взаимодействия. Стр. 55-72.

И.Б. Бурдонов, А.С. Косачев. Системы с приоритетами: конформность, тестирование, композиция. Стр. 23-54.

А.К. Петренко. Унификация в автоматизации тестирования. Позиция UniTESK. Стр. 7-22.

В.П. Иванников, В.В. Кулямин. Предисловие. Стр. 5-6.

Back to the list of all volumes