Text this: Автоматизированное проектирование тестов для технического диагностирования цифровой аппаратуры: диссертация на соискание ученой степени кандидата технических наук; Спец. 05.13.01.