Author:
Koltunov D. S.,Efimov V. Yu.,Padaryan V. A.
Reference17 articles.
1. Efimov, V.Yu., Bezzubikov, A.A., Bogomolov, D.A., Goremykin, O.V., and Padaryan, V.A., Automation of device and machine development for QEMU, Tr. Inst. Sist. Program. Ross. Akad. Nauk (Proc. Inst. Syst. Program. Russ. Acad. Sci.), 2017, vol. 29, no. 6, pp. 77–104. https://doi.org/10.15514/ISPRAS-2017-29(6)-4
2. Bezzubikov, A., Belov, N., and Batuzov, K., Automatic dynamic binary translator generation from instruction set description, Proc. Inst. Syst. Program. Russ. Acad. Sci. Open Conf., 2017, pp. 27–33. https://doi.org/10.1109/ISPRAS.2017.00012
3. Howden, W.E., Theoretical and empirical studies of program testing, Proc. 3rd Int. Conf. Software Engineering, 1978, pp. 305–311.
4. Martignoni, L., Paleari, R., Roglia, G.F., and Bruschi, D., Testing CPU emulators, Proc. 18th Int. Symp. Software Testing and Analysis, 2009, pp. 261–272.
5. Martignoni, L., Paleari, R., Roglia, G.F., and Bruschi, D., Testing system virtual machines, Proc. 19th Int. Symp. Software Testing and Analysis, 2010, pp. 171–182.