Features of the deterministic replay in the case of a minimum device set. - Vasily Yu. Efimov; K. A. Batuzov; Vartan A. Padaryan; Arutyun Avetisyan (Program. Comput. Softw., 2016)

Automated Testing of a TCG Frontend for Qemu. - Dmitriy S. Koltunov; Vasily Yu. Efimov; Vartan A. Padaryan (Program. Comput. Softw., 2020)