А.Е. Залан (Минск) "Об одном подходе к организации отладки программ".

В.А. Шимаров (Минск) "Сложность программы и трудоемкость тестирования".

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

Г.Г. Гурбанов, Р.А. Восканян, Я.Я. Мамедов "О некоторых вопросах отладки программ на БЭЙСИКе".

Я.А. Коган, М.Е. Марон "Методы динамической верификации систем взаимодействующих процессов".

В.Ю. Сазонов (Новосибирск) "Бестиповое исчисление СИГМА-выражений".

Ю.Г. Степин (Гродно) "Синтез алгоритмов обработки данных, представимых гиперграфами".

И.В. Вельбицкий, В.Ю. Каюров, В.И. Чеберкус (Киев) "Подход к проблеме верификации программ на основе формализации процесса проектирования в Р-технологии".

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

С.Г. Рябчук, Н.Л. Дембицкий, А.В. Фомин (Москва) "Разработка подсистемы синтеза и отладки программ гибкого автоматизированного конструирования МЭА".

Ю.М. Руденко (Москва) "Автоматизация тестирования вычислительных программ".

Б.Г. Хмелевской, В.М. Линьков, В.Н. Сазонов, В.П. Линькова "Применение иерархического программирования в разработке программного обеспечения".

А.А. Гагарин, Г.Н. Елизаренко, В.Г. Слипченко (Киев) "Аппарат сетей Петри как средство отладки программного обеспечения систем реального времени".

А.Ю. Аржененко, О.Г. Казакова, В.А. Неясов "Оптимальное диагностирование программных комплексов методами теории вопросников".

Р.А. Плюшкявичус (Вильнюс) "Секвенциальное исчисление временной логики с равенством и термовым оператором "NEXT" для верификации параллельных программ".

К.К. Гячас (Вильнюс) "Об анализе свойств распределенных программ".

Ю.А. Маматов, Н.М. Бадин, С.Ю. Панов, Р.А. Першин, А.С. Селенков (Ярославль) "Обеспечение корректности оптимизированных программ для конвейерных ЭВМ, написанных с использованием Ассемблера".

А.М. Гострик "Организация гибкого диалога при решении задач оценки качества продукции".

В.Г. Бондаренко, Е.Я. Карповский, И.Ю. Копелев (Одесса) "Использование имитационного моделирования при расчете байесовых оценок результатов тестирования программ".

В.Б. Новосельцев, А.Л. Шамис (Томск) "Логические средства синтеза недетерминированных алгоритмов".