(НТУ "ХПИ", 2008) Королева, Я. Ю.; Рыжикова, М. Г.
Пропонується метод та алгоритм синтезу тестів для мереж клітинних автоматів, побудований на використанні характеристичних та синхронізуючих послідовностей автоматних моделей клітин мережі. Отримана верхня межа довжини перевіряючих тестів, які виявляють множину несправності в класу.
