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