В настоящее время разработана и проходит опытную эксплуатацию подсистема автоматизированного проектирования тестовых последовательностей для проверки цифровой аппаратуры, проектируемой в САПР. Подсистема включает две базовые программы: синтез контролирующих тестов (ТЕСТ) и анализ качества контролируемых тестов (ПАКТ).

Автоматизированные системы управления [Текст] : тематич. сб. науч. трудов / под ред. Э. В. Лысенко. — Х. : ХАИ, 1981. — 207с.

• УДК // Штучний інтелект в промислових системах. Інтелектуальні САПР/АСКВ (система автоматизованого проектування/автоматизована система керування виробництвом). Інтелектуальні роботи