Мельниченко И. 

Публикации в базе данных Math-Net.Ru

1. An extended finite state machine-based approach to code coverage-directed test generation for hardware designs
   
   Труды ИСП РАН, 27:3 (2015),  161–182