%0 Conference Article
%T ВЕРИФИКАЦИЯ И ГЕНЕРАЦИЯ ТЕСТОВ СЛОЖНЫХ ЦИФРОВЫХ СИСТЕМ
%A Сванидзе, В.О.
%A Зольников, К.В.
%A Сазонова, С.А.
%A Дорохов, В.А.
%A Харченко, М.Э.
%K верификация и генерация тестов, цифровые системы, генерация тестов, сложные системы, тестируемость
%J МОДЕЛИРОВАНИЕ ИНФОРМАЦИОННЫХ СИСТЕМ И ТЕХНОЛОГИЙ – 2025
%D 2025
%P 9
%I Воронежский государственный лесотехнический университет имени Г.Ф. Морозова