Дана формальная постановка задачи определения условий для построения тестов программных модулей по табличным спецификациям алгоритма, которая формулируется как задача определения минимального множества правил таблицы решений, удовлетворяющего заданному критерию тестирования.

Радиоэлектроника летательных аппаратов [Текст] : темат. сб. науч. тр. — Х. : ХАИ, 1984. — 220 с.

• УДК // Обчислювальна обробка даних. Алгоритми
• Праці співробітників ХАІ // Орєхов О.О./Орехов А.А.
• Праці співробітників ХАІ // Праці співробітників ХАІ/Труды сотрудников ХАИ
• УДК // Тестування систем. Тестування системи в цілому