Зюбин В.Е., Лях Т.В. Верификация промышленных алгоритмов управления методом Model checking в сочетании с концепцией виртуальных объектов управления // № 8, 2016
Евтушенко Н.В., Ермаков А.Д. К повышению полноты тестов, построенных по модели расширенного автомата // № 7, 2016
Якушева С.Ф., Хританков А.С., Горбачёнок Д.И. Тестирование инвариантами в применении к генеративным системам искусственного интеллекта // № 22, 2023
