Том 14, часть 1

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

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

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

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

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

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

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

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

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

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