Melnichenko I. 

Publications in Math-Net.Ru

1. An extended finite state machine-based approach to code coverage-directed test generation for hardware designs
   
   Proceedings of ISP RAS, 27:3 (2015),  161–182