For citations:

Melnichenko I., Kamkin A., Smolov S. An Extended Finite State Machine-Based Approach to Code Coverage-Directed Test Generation for Hardware Designs. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2015;27(3):161-182. (In Russ.) https://doi.org/10.15514/ISPRAS-2015-27(3)-12