Для цитирования:

Бурдонов И.Б., Евтушенко Н.В., Косачев А.С. Конечно-автоматные методы синтеза тестов с гарантированной полнотой для входо-выходных полуавтоматов. Электронные библиотеки. 2023;26(1):18-34. https://doi.org/10.26907/1562-5419-2023-26-1-18-34

For citation:

Burdonov I.B., Yevtushenko N.V., Kossachev A.S. Using FSM-Based Strategies for Deriving Tests with Guaranteed Fault Coverage for Input/Output Automata. Russian Digital Libraries Journal. 2023;26(1):18-34. (In Russ.) https://doi.org/10.26907/1562-5419-2023-26-1-18-34