{"id":"https://openalex.org/W3116044991","doi":"https://doi.org/10.1134/s0361768820080058","title":"Automated Testing of a TCG Frontend for Qemu","display_name":"Automated Testing of a TCG Frontend for Qemu","publication_year":2020,"publication_date":"2020-12-01","ids":{"openalex":"https://openalex.org/W3116044991","doi":"https://doi.org/10.1134/s0361768820080058","mag":"3116044991"},"language":"en","primary_location":{"id":"doi:10.1134/s0361768820080058","is_oa":false,"landing_page_url":"https://doi.org/10.1134/s0361768820080058","pdf_url":null,"source":{"id":"https://openalex.org/S150218641","display_name":"Programming and Computer Software","issn_l":"0361-7688","issn":["0361-7688","1608-3261"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Programming and Computer Software","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5027068471","display_name":"Dmitry Koltunov","orcid":null},"institutions":[{"id":"https://openalex.org/I4210101868","display_name":"Institute for System Programming","ror":"https://ror.org/017ef8252","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210101868","https://openalex.org/I4210124601"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"D. S. Koltunov","raw_affiliation_strings":["Ivannikov Institute for System Programming, Russian Academy of Sciences, ul. Solzhenitsyna 25, 109004, Moscow, Russia"],"affiliations":[{"raw_affiliation_string":"Ivannikov Institute for System Programming, Russian Academy of Sciences, ul. Solzhenitsyna 25, 109004, Moscow, Russia","institution_ids":["https://openalex.org/I4210101868"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015729542","display_name":"Vasily Efimov","orcid":null},"institutions":[{"id":"https://openalex.org/I4210101868","display_name":"Institute for System Programming","ror":"https://ror.org/017ef8252","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210101868","https://openalex.org/I4210124601"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"V. Yu. Efimov","raw_affiliation_strings":["Ivannikov Institute for System Programming, Russian Academy of Sciences, ul. Solzhenitsyna 25, 109004, Moscow, Russia"],"affiliations":[{"raw_affiliation_string":"Ivannikov Institute for System Programming, Russian Academy of Sciences, ul. Solzhenitsyna 25, 109004, Moscow, Russia","institution_ids":["https://openalex.org/I4210101868"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5083854955","display_name":"V. A. Padaryan","orcid":"https://orcid.org/0000-0001-7962-9677"},"institutions":[{"id":"https://openalex.org/I19880235","display_name":"Lomonosov Moscow State University","ror":"https://ror.org/010pmpe69","country_code":"RU","type":"education","lineage":["https://openalex.org/I19880235"]},{"id":"https://openalex.org/I4210101868","display_name":"Institute for System Programming","ror":"https://ror.org/017ef8252","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210101868","https://openalex.org/I4210124601"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"V. A. Padaryan","raw_affiliation_strings":["Ivannikov Institute for System Programming, Russian Academy of Sciences, ul. Solzhenitsyna 25, 109004, Moscow, Russia","Moscow State University, 119991, Moscow, Russia"],"affiliations":[{"raw_affiliation_string":"Ivannikov Institute for System Programming, Russian Academy of Sciences, ul. Solzhenitsyna 25, 109004, Moscow, Russia","institution_ids":["https://openalex.org/I4210101868"]},{"raw_affiliation_string":"Moscow State University, 119991, Moscow, Russia","institution_ids":["https://openalex.org/I19880235"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5027068471"],"corresponding_institution_ids":["https://openalex.org/I4210101868"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.25274725,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"46","issue":"8","first_page":"737","last_page":"746"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9876999855041504,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8527916669845581},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.6596091985702515},{"id":"https://openalex.org/keywords/oracle","display_name":"Oracle","score":0.6556463241577148},{"id":"https://openalex.org/keywords/emulation","display_name":"Emulation","score":0.6393821239471436},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.6323659420013428},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.6051183342933655},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5194070339202881},{"id":"https://openalex.org/keywords/binary-translation","display_name":"Binary translation","score":0.5024049282073975},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.49660736322402954},{"id":"https://openalex.org/keywords/virtual-machine","display_name":"Virtual machine","score":0.4773571491241455},{"id":"https://openalex.org/keywords/python","display_name":"Python (programming language)","score":0.45115482807159424},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.32980769872665405},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3078601360321045},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.307261198759079}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8527916669845581},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6596091985702515},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.6556463241577148},{"id":"https://openalex.org/C149810388","wikidata":"https://www.wikidata.org/wiki/Q5374873","display_name":"Emulation","level":2,"score":0.6393821239471436},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.6323659420013428},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.6051183342933655},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5194070339202881},{"id":"https://openalex.org/C2778971978","wikidata":"https://www.wikidata.org/wiki/Q2287075","display_name":"Binary translation","level":3,"score":0.5024049282073975},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.49660736322402954},{"id":"https://openalex.org/C25344961","wikidata":"https://www.wikidata.org/wiki/Q192726","display_name":"Virtual machine","level":2,"score":0.4773571491241455},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.45115482807159424},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.32980769872665405},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3078601360321045},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.307261198759079},{"id":"https://openalex.org/C50522688","wikidata":"https://www.wikidata.org/wiki/Q189833","display_name":"Economic growth","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1134/s0361768820080058","is_oa":false,"landing_page_url":"https://doi.org/10.1134/s0361768820080058","pdf_url":null,"source":{"id":"https://openalex.org/S150218641","display_name":"Programming and Computer Software","issn_l":"0361-7688","issn":["0361-7688","1608-3261"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Programming and Computer Software","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W1992181084","https://openalex.org/W2011715836","https://openalex.org/W2089559084","https://openalex.org/W2114780348","https://openalex.org/W2169294765","https://openalex.org/W2193838104","https://openalex.org/W2767373589","https://openalex.org/W2786363662","https://openalex.org/W2789711023","https://openalex.org/W2790083388","https://openalex.org/W3017160350"],"related_works":["https://openalex.org/W2154523322","https://openalex.org/W2083200807","https://openalex.org/W1603137082","https://openalex.org/W2364195017","https://openalex.org/W2355430452","https://openalex.org/W2049983405","https://openalex.org/W2169090857","https://openalex.org/W2019445488","https://openalex.org/W2372034189","https://openalex.org/W1638297612"],"abstract_inverted_index":{"Implementing":[0],"new":[1],"target":[2,78],"architecture":[3,51,79],"in":[4,81,117,126,179,185,191,216,222],"Qemu":[5,82,201,220],"involves":[6],"creating":[7],"a":[8,55,77,118,154,158],"frontend":[9,33,241],"of":[10,26,170,199],"the":[11,24,48,84,96,99,127,171,200],"TCG":[12,32,235,240],"dynamic":[13],"binary":[14,62],"translator":[15,28],"to":[16,22,75,124,138,150,165,176],"this":[17],"architecture.":[18],"Testing":[19,193],"is":[20,73,87,93,122,136,189,197,208,214,231],"necessary":[21,85],"verify":[23],"correctness":[25],"that":[27,98],"component.":[29],"Currently,":[30],"existing":[31],"testing":[34,76,221,234],"systems":[35,243],"use":[36],"an":[37,43],"approach":[38,92,188],"based":[39,94],"on":[40,95,130,153],"comparison":[41],"with":[42],"oracle.":[44],"This":[45,71,145,229],"oracle":[46,86],"has":[47],"same":[49,128],"processor":[50,112,132],"and":[52,102,157,196,218,225],"can":[53],"be":[54,151,166],"real":[56],"processor,":[57],"high-fidelity":[58],"emulator,":[59],"or":[60,142,244],"another":[61],"translator.":[63],"Unfortunately,":[64],"these":[65],"oracles":[66],"are":[67,105,168,183],"not":[68,88],"always":[69],"available.":[70,89],"paper":[72],"devoted":[74],"implementation":[80],"when":[83],"The":[90,163,187],"proposed":[91],"fact":[97],"binutils":[100],"package":[101],"C":[103],"compiler":[104],"usually":[106],"available":[107,209],"even":[108],"for":[109,233],"rarely":[110],"used":[111,175],"architectures.":[113],"A":[114],"program":[115],"written":[116,184],"high-level":[119,172],"programming":[120,173],"language":[121,174],"expected":[123],"run":[125],"manner":[129],"different":[131,148],"architectures":[133],"if":[134],"it":[135],"possible":[137],"avoid":[139],"its":[140,205],"undefined":[141],"implementation-defined":[143],"behavior.":[144],"allows":[146],"two":[147],"executables":[149],"compared":[152,167],"developer\u2019s":[155],"machine":[156,160],"virtual":[159],"being":[161],"tested.":[162],"units":[164],"entities":[169],"write":[177],"tests;":[178],"our":[180],"case,":[181],"tests":[182],"C.":[186],"implemented":[190,215,245],"CPU":[192],"Tool":[194],"(c2t)":[195],"part":[198],"Development":[202],"Toolkit":[203],"(QDT);":[204],"source":[206],"code":[207],"at":[210],"https://github.com/ispras/qdt":[211],".":[212],"c2t":[213],"Python":[217],"supports":[219],"both":[223],"full-system":[224],"user-level":[226],"emulation":[227],"modes.":[228],"tool":[230],"suitable":[232],"frontends":[236],"generated":[237],"by":[238],"automated":[239],"generation":[242],"manually.":[246]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}