К.А. Иыуду, М.М. Арипов (Москва) "Использование теории планирования эксперимента в структурном тестировании программ".

Г.Л. Ионин, Я.Я. Седол, В.В. Супе (Рига) "Расширение языка спецификаций SDL для моделирования и его применение для тестирования управляющих программ".

В.А. Прибылев, М.А. Шнепс-Шнеппе (Рига) "Имитация внешней среды для тестирования программного обеспечения АТС с распределенным управлением".

А.А. Курмит (Рига) "Подход к созданию синтаксического анализатора".

Г.Э. Дишлерс (Рига) "Стратегии генерации тестируемых путей в программе".

А.А. Орехов (Харьков) "Построение табличных моделей и алгоритмы тестового диагностирования программ".

В.Г. Вовк, С.Ф. Сопрунов (Москва) "О некотором способе проверки правильности программ на языке Ассемблер".

Н.Н. Глибовец, В.Н. Коваленко (Киев) "Об одном подходе к верификации программ в некотором подмножестве языка ПАСКАЛЬ в среде ОС РВ".

С.В. Яковлев (Днепропетровск) "Доказательное программирование на основе прототипных конструкций".

Г.М. Гнедов, Д.С. Базов, В.Г. Виноградов, Е.Л. Гроссул "Обеспечение функциональной надежности прикладного программного обеспечения".

А.А. Смилгайс (Рига) "Опыт тестирования модели внешней среды в условиях отсутствия целевой ЭВМ".

Р.М. Алиев, Дж.М. Новрузов, В.Б. Шамиев "Вопросы совершенствования отладки в исполнительных операционных системах для микро-ЭВМ".

С.Н. Мамедов "О некоторых возможностях автоматизации разработки алгоритмов на графах".

А.П. Даренский, И.М. Минеев (Москва) "Экспериментальная диалоговая система отладки ассемблерных программ".

И.М. Минеев (Москва) "Инструментальная пакетно-диалоговая система отладки ПЛ/I-программ".

Ю.А. Зиничев (Москва) "О новом подходе к построению проблемно-ориентированных имитационных моделей производственных процессов".

М.С. Львов (Херсон, Киев) "Инварианты малых степеней в программах над полями данных".

Г.П. Кожевникова, В.М. Олейник (Львов) "К построению эффективных реализаций алгоритмов потокового анализа программ".

В.А. Евстигнеев (Новосибирск), Г.П. Кожевникова (Львов) "Метрология программного обеспечения и топологические меры сложности программ".

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