Preview

Russian Digital Libraries Journal

Advanced search
Fullscreen

For citations:


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



Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 License.


ISSN 1562-5419 (Online)