{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T04:28:14Z","timestamp":1775017694314,"version":"3.50.1"},"reference-count":17,"publisher":"Pleiades Publishing Ltd","issue":"8","license":[{"start":{"date-parts":[[2020,12,1]],"date-time":"2020-12-01T00:00:00Z","timestamp":1606780800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2020,12,1]],"date-time":"2020-12-01T00:00:00Z","timestamp":1606780800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Program Comput Soft"],"published-print":{"date-parts":[[2020,12]]},"DOI":"10.1134\/s0361768820080058","type":"journal-article","created":{"date-parts":[[2020,12,22]],"date-time":"2020-12-22T07:03:01Z","timestamp":1608620581000},"page":"737-746","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Automated Testing of a TCG Frontend for Qemu"],"prefix":"10.1134","volume":"46","author":[{"given":"D. S.","family":"Koltunov","sequence":"first","affiliation":[]},{"given":"V. Yu.","family":"Efimov","sequence":"additional","affiliation":[]},{"given":"V. A.","family":"Padaryan","sequence":"additional","affiliation":[]}],"member":"137","published-online":{"date-parts":[[2020,12,22]]},"reference":[{"key":"3563_CR1","doi-asserted-by":"publisher","unstructured":"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\u2013104. https:\/\/doi.org\/10.15514\/ISPRAS-2017-29(6)-4","DOI":"10.15514\/ISPRAS-2017-29(6)-4"},{"key":"3563_CR2","doi-asserted-by":"publisher","unstructured":"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\u201333. https:\/\/doi.org\/10.1109\/ISPRAS.2017.00012","DOI":"10.1109\/ISPRAS.2017.00012"},{"key":"3563_CR3","unstructured":"Howden, W.E., Theoretical and empirical studies of program testing, Proc. 3rd Int. Conf. Software Engineering, 1978, pp. 305\u2013311."},{"key":"3563_CR4","doi-asserted-by":"crossref","unstructured":"Martignoni, L., Paleari, R., Roglia, G.F., and Bruschi, D., Testing CPU emulators, Proc. 18th Int. Symp. Software Testing and Analysis, 2009, pp. 261\u2013272.","DOI":"10.1145\/1572272.1572303"},{"key":"3563_CR5","doi-asserted-by":"crossref","unstructured":"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\u2013182.","DOI":"10.1145\/1831708.1831730"},{"key":"3563_CR6","doi-asserted-by":"crossref","unstructured":"Yan, Q. and McCamant, S., Fast PokeEMU: Scaling generated instruction tests using aggregation and state chaining, Proc. 14th ACM SIGPLAN\/SIGOPS Int. Conf. Virtual Execution Environments, 2018.","DOI":"10.1145\/3186411.3186417"},{"key":"3563_CR7","unstructured":"Linaro Git Hosting, Risu: Random instruction sequence tester for userspace. https:\/\/git.linaro.org\/people\/pmaydell\/risu.git\/about."},{"key":"3563_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1134\/S0361768814010046","volume":"40","author":"A.S. Kamkin","year":"2014","unstructured":"Kamkin, A.S., Sergeeva, T.I., Smolov, S.A., Tatarnikov, A.D., and Chupilko, M.M., Extensible environment for test program generation for microprocessors, Program. Comput. Software, 2014, vol. 40, no. 1, pp. 1\u20139.","journal-title":"Program. Comput. Software"},{"key":"3563_CR9","doi-asserted-by":"crossref","unstructured":"Kim, S., Faerevaag, M., Jung, M., Jung, S., Oh, D.Y., Lee, J.H., and Cha, S.K., Testing intermediate representations for binary analysis, Proc. 32nd IEEE\/ACM Int. Conf. Automated Software Engineering, 2017, pp.\u00a0353\u2013364.","DOI":"10.1109\/ASE.2017.8115648"},{"key":"3563_CR10","doi-asserted-by":"crossref","unstructured":"Martignoni, L., McCamant, S., Poosankam, P., Song, D., and Maniatis, P., Path-exploration lifting: Hi-fi tests for lo-fi emulators, Proc. Int. Conf. Architectural Support for Programming Languages and Operating Systems, 2012, pp. 337\u2013348.","DOI":"10.1145\/2150976.2151012"},{"key":"3563_CR11","unstructured":"Shi, H., Alwabel, A., and Mirkovic, J., Cardinal pill testing of system virtual machines, Proc. 23rd USENIX Security Symp., 2014, pp. 271\u2013285."},{"key":"3563_CR12","unstructured":"GitHub, pyrsp. https:\/\/github.com\/stef\/pyrsp."},{"key":"3563_CR13","unstructured":"GitHub, pyelftools. https:\/\/github.com\/eliben\/pyelftools."},{"key":"3563_CR14","unstructured":"GitHub, Qemu MSP430. https:\/\/github.com\/draperlaboratory\/qemu-msp."},{"key":"3563_CR15","unstructured":"ARM and Thumb-2 instruction set quick reference card.\nhttp:\/\/infocenter.arm.com\/help\/topic\/com.arm.doc. qrc0001m\/QRC0001_UAL.pdf."},{"key":"3563_CR16","unstructured":"MIPS instruction reference. https:\/\/s3-eu-west-1.amazonaws.com\/downloads-mips\/documents\/MD00565-2B-MIPS32-Q RC-01.01.pdf."},{"key":"3563_CR17","unstructured":"MSP430x2xx family user\u2019s guide.\nhttp:\/\/www.ti.com\/lit\/ug\/slau144j\/slau144j.pdf."}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768820080058.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768820080058","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768820080058.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:47:34Z","timestamp":1775011654000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768820080058"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,12]]},"references-count":17,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2020,12]]}},"alternative-id":["3563"],"URL":"https:\/\/doi.org\/10.1134\/s0361768820080058","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,12]]},"assertion":[{"value":"10 February 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 March 2020","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 April 2020","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 December 2020","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}