В.В. Бублик, В.П. Шевченко "К проблеме тестирования учебных программ".

Д.Р. Блиндер, Л.С. Казаринов (Челябинск) "Испытания сложных программ по критерию функциональной точности".

Ю.Б. Максимов, Ж.В. Белинская (Харьков) "Синтез оптимальных последовательно-параллельных программ".

Ю.В. Борзов, Г.Э. ишлерс, Л.Б. Дулькин, Г.В. Ермаков, Т.В. Ермакова, В.Л. Катков, И.Э. Медведис, Г.Б.Уртанс (Рига, Минск) "Эксперименты с системой символьного тестирования ПЛ/I-программ".

А.Л. Ковалев, Е.В. Ковалевская (Киев) "Визуальная отладка графических программ в Р-технологии".

А.А. Саркисян, К.С. Саркисян, А.Г. Тадевосян (Ереван) "О задаче построения полной и циклически полной систем примеров".

Э.А. Будагян, Г.М. Вартанян (Ереван) "Язык спецификации программного обеспечения автоматизированных систем управления".

С.А. Аветисян (Ереван) "О средствах отладки программного обеспечения автоматизированных систем управления".

В.С. Казарян (Ереван) "Задача построения полной системы тестовых примеров для взаимодействующих программ с общим управлением".

В.С. Щепин (Москва) "Объектно-ориентированная система построения и отладки программ".

Н.Н. Непейвода (Устинов) "Конструктивные и дескриптивные средства в логике схем программ".

В.В. Кульба, Е.В. Соколова, В.А. Коробов (Волжск) "Разработка методов автоматизации отладки программ".

В.А. Коробов, М.П. Райлян, Е.Б. Соколова (Волжск) "Средство автоматизации отладки программ на основе стратегии магистральных путей с использованием сетей Петри".

Р.А. Лачашвили (Львов) "Эргономическое тестирование диалоговых программ".

А.Б. Винокур (Львов) "Об автоматизации сложностного тестирования алгоритмов".

Д.И. Свириденко (Новосибирск) "Язык логических спецификаций высокого уровня".

В.С. Нумеров (Новосибирск) "Практические аспекты абстрактной спецификации модулей".

Б.К. Карапетян, Э.М. Погосян (Ереван) "Адаптивный синтез стратегий при неполных спецификациях".

С.С. Шкильняк (Киев) "Программные алгебры функций с простыми типами данных".

Т.А. Трохова, М.Л. Шишаков (Гомель) "Применение методов интерактивного программирования для синтеза графических систем".