Для цитирования: Ермаков А.Д., Евтушенко Н.В. Метод синтеза тестов с гарантированной полнотой по модели расширенного автомата. Моделирование и анализ информационных систем. 2016;23(6):729-740. https://doi.org/10.18255/1818-1015-2016-6-729-740

For citation: Ermakov A.D., Yevtushenko N.V. Deriving Test Suites with the Guaranteed Fault Coverage for Extended Finite State Machines. Modeling and Analysis of Information Systems. 2016;23(6):729-740. (In Russ.) https://doi.org/10.18255/1818-1015-2016-6-729-740