М.И. Дехтярь (Калинин) "О семантике и доказательстве свойств Рефал-программ".

А.С. Юрченко "О совершенствовании синтеза, тестирования и отладки программ".

В.П. Корячко, Ю.М.Минаев (Рязань) "Формализация выбора диагностической совокупности путей при тестировании программ".

В.Ф. Кузенко (Киев) "Об императивных средствах конструирования программ".

О.В. Костин (Львов) "Анализ алгоритмов и программ на основе применения оценочных базисов".

С.М. Абрамович, А.Н. Литвиненко (Ростов-на-Дону) "Тестирование и отладка РД-модулей".

В.П. Макаров (Гомель) "Исследование выразительных возможностей языка спецификаций АЛЯ".

В.Н. Мартынюк, И.Г. Булатова (Москва) "Автоматизация отладки программ в системе имитационного моделирования СТАМ/П".

В.Д. Ксенофонтова (Москва) "Методика статического анализа программ".

С.Л. Кривой (Киев) "Трансформационный синтез алгоритмов и свойства предметной области".

А.А. Молчанов, С.И. Ветренко, А.В. Баша (Киев) "Генерация проблемно-ориентированных компонентов системного программного обеспечения САПР".

Ю.И. Воротницкий, В.Г. Лукьянец (Минск) "Опыт разработки и отладки программ обработки данных радиофизического эксперимента и оптимального проектирования устройств СВЧ на языке Фортран-77 в СВМ ЕС".

Ю.И. Воротницкий, Л.Р. Кирилло, В.Г. Лукьянец (Минск) "Организация курса "Электроника СВЧ" для студентов-радиофизиков на базе ЕС ЭВМ".

С.Г. Лелеков (Севастополь) "Автоматизированная система генерации тестов для программных комплексов".

Б.В. Архангельский (Киев) "Области наиболее эффективного применения методов и систем отладки".

Х.Х. Абдуллаев (Киев) "Метод автоматизированной генерации тестовых данных для программ".

Е.А. Евтушенко (Киев) "Генерация программной функции для структурированных ФОРТРАН-программ".

Л.Д. Гуральник (Таллинн), А.А. Лобузов (Москва) "Синтез программ решения планово-экономических задач".

Н.А. Коротаев, О.М. Кондратьева (Минск) "К вопросу о проектировании и программировании надежных программ".

Н.А. Коротаев, О.М. Кондратьева (Минск) "Автоматизация построения тестов для программ".