TY CONF TI ANALYSIS OF TEST SEQUENCE GENERATION SYSTEMS KW verification and test generation KW digital systems KW test generation KW complex systems KW testability JO MODELING INFORMATION SYSTEMS AND TECHNOLOGIES – 2025 AU Svanidze, V.O. AU Zolnikov, K.V. AU Sazonova, S.A. AU Ozerov, A.I. PY 2025 PB FSBE Institution of Higher Education Voronezh State University of Forestry and Technologies named after G.F. Morozov