{"id":"https://openalex.org/W1992181084","doi":"https://doi.org/10.1145/1572272.1572303","title":"Testing CPU emulators","display_name":"Testing CPU emulators","publication_year":2009,"publication_date":"2009-07-19","ids":{"openalex":"https://openalex.org/W1992181084","doi":"https://doi.org/10.1145/1572272.1572303","mag":"1992181084"},"language":"en","primary_location":{"id":"doi:10.1145/1572272.1572303","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1572272.1572303","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the eighteenth international symposium on Software testing and analysis","raw_type":"proceedings-article"},"type":"conference-paper","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/A5062307542","display_name":"Lorenzo Martignoni","orcid":null},"institutions":[{"id":"https://openalex.org/I189158943","display_name":"University of Milan","ror":"https://ror.org/00wjc7c48","country_code":"IT","type":"education","lineage":["https://openalex.org/I189158943"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Lorenzo Martignoni","raw_affiliation_strings":["Universit\u00e0 degli Studi di Milano, Milano, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e0 degli Studi di Milano, Milano, Italy","institution_ids":["https://openalex.org/I189158943"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087041174","display_name":"Roberto Paleari","orcid":null},"institutions":[{"id":"https://openalex.org/I189158943","display_name":"University of Milan","ror":"https://ror.org/00wjc7c48","country_code":"IT","type":"education","lineage":["https://openalex.org/I189158943"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Roberto Paleari","raw_affiliation_strings":["Universit\u00e0 degli Studi di Milano, Milano, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e0 degli Studi di Milano, Milano, Italy","institution_ids":["https://openalex.org/I189158943"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006969371","display_name":"Giampaolo Fresi Roglia","orcid":null},"institutions":[{"id":"https://openalex.org/I189158943","display_name":"University of Milan","ror":"https://ror.org/00wjc7c48","country_code":"IT","type":"education","lineage":["https://openalex.org/I189158943"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Giampaolo Fresi Roglia","raw_affiliation_strings":["Universit\u00e0 degli Studi di Milano, Milano, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e0 degli Studi di Milano, Milano, Italy","institution_ids":["https://openalex.org/I189158943"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5058151309","display_name":"Danilo Bruschi","orcid":"https://orcid.org/0000-0002-5905-5976"},"institutions":[{"id":"https://openalex.org/I189158943","display_name":"University of Milan","ror":"https://ror.org/00wjc7c48","country_code":"IT","type":"education","lineage":["https://openalex.org/I189158943"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Danilo Bruschi","raw_affiliation_strings":["Universit\u00e0 degli Studi di Milano, Milano, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e0 degli Studi di Milano, Milano, Italy","institution_ids":["https://openalex.org/I189158943"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I189158943"],"apc_list":null,"apc_paid":null,"fwci":9.2379,"has_fulltext":false,"cited_by_count":141,"citation_normalized_percentile":{"value":0.98818088,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"261","last_page":"272"},"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.9998999834060669,"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.9998999834060669,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.815458357334137},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.7372329831123352},{"id":"https://openalex.org/keywords/central-processing-unit","display_name":"Central processing unit","score":0.6909348964691162},{"id":"https://openalex.org/keywords/fuzz-testing","display_name":"Fuzz testing","score":0.6418722867965698},{"id":"https://openalex.org/keywords/cpu-shielding","display_name":"CPU shielding","score":0.6340805292129517},{"id":"https://openalex.org/keywords/profiling","display_name":"Profiling (computer programming)","score":0.5347124338150024},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5154955983161926},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.475331574678421},{"id":"https://openalex.org/keywords/instruction-set","display_name":"Instruction set","score":0.47523000836372375},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.4648491442203522},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4569651484489441},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3089420795440674},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.13253426551818848}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.815458357334137},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.7372329831123352},{"id":"https://openalex.org/C49154492","wikidata":"https://www.wikidata.org/wiki/Q5300","display_name":"Central processing unit","level":2,"score":0.6909348964691162},{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.6418722867965698},{"id":"https://openalex.org/C180613757","wikidata":"https://www.wikidata.org/wiki/Q5013757","display_name":"CPU shielding","level":3,"score":0.6340805292129517},{"id":"https://openalex.org/C187191949","wikidata":"https://www.wikidata.org/wiki/Q1138496","display_name":"Profiling (computer programming)","level":2,"score":0.5347124338150024},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5154955983161926},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.475331574678421},{"id":"https://openalex.org/C202491316","wikidata":"https://www.wikidata.org/wiki/Q272683","display_name":"Instruction set","level":2,"score":0.47523000836372375},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.4648491442203522},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4569651484489441},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3089420795440674},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.13253426551818848}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1572272.1572303","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1572272.1572303","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the eighteenth international symposium on Software testing and analysis","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.49000000953674316,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W78162143","https://openalex.org/W109452506","https://openalex.org/W150374354","https://openalex.org/W157156687","https://openalex.org/W1503224444","https://openalex.org/W1522250664","https://openalex.org/W1543344803","https://openalex.org/W1562605315","https://openalex.org/W1604135736","https://openalex.org/W1641762327","https://openalex.org/W1974280963","https://openalex.org/W1988524530","https://openalex.org/W2002934700","https://openalex.org/W2009489720","https://openalex.org/W2104993088","https://openalex.org/W2116125833","https://openalex.org/W2120635877","https://openalex.org/W2132897303","https://openalex.org/W2134633067","https://openalex.org/W2140807364","https://openalex.org/W2159933174","https://openalex.org/W2168519318","https://openalex.org/W2183177643","https://openalex.org/W3010856131","https://openalex.org/W4239813889","https://openalex.org/W4324007234"],"related_works":["https://openalex.org/W1602801198","https://openalex.org/W4384154462","https://openalex.org/W3003531114","https://openalex.org/W2380581122","https://openalex.org/W2393557506","https://openalex.org/W2388534853","https://openalex.org/W2390462575","https://openalex.org/W4381847739","https://openalex.org/W1992181084","https://openalex.org/W137320089"],"abstract_inverted_index":{"A":[0],"CPU":[1,86,103],"emulator":[2,37,48,92,113],"is":[3,49,93,104],"a":[4,8,41,45,50,60,81,159],"software":[5],"that":[6,38],"simulates":[7],"hardware":[9],"CPU.":[10],"Emulators":[11],"are":[12,114],"widely":[13],"used":[14],"by":[15,116,131],"computer":[16],"scientists":[17],"for":[18,85],"various":[19],"kind":[20],"of":[21,111,135,151,179,182,189],"activities":[22],"(e.g.,":[23],"debugging,":[24],"profiling,":[25],"and":[26,53,70,125,130,171,173],"malware":[27],"analysis).":[28],"Although":[29],"no":[30],"theoretical":[31],"limitation":[32],"prevents":[33],"to":[34,99],"develop":[35],"an":[36],"faithfully":[39],"emulates":[40],"physical":[42,128],"CPU,":[43],"writing":[44],"fully":[46],"featured":[47],"very":[51,61],"challenging":[52],"error-prone":[54],"task.":[55],"Modern":[56],"CISC":[57],"architectures":[58],"have":[59,73],"rich":[62],"instruction":[63],"set,":[64],"some":[65,181],"instructions":[66],"lack":[67],"proper":[68,187],"specifications,":[69],"others":[71],"may":[72],"undefined":[74],"effects":[75],"in":[76,142,148,158,177],"corner-cases.":[77],"This":[78],"paper":[79],"presents":[80],"testing":[82],"methodology":[83,157],"specific":[84],"emulators,":[87],"based":[88],"on":[89,122,126],"fuzzing.":[90],"The":[91],"\"stressed\"":[94],"with":[95],"specially":[96],"crafted":[97],"test-cases,":[98],"verify":[100],"whether":[101],"the":[102,112,118,123,127,133,136,139,143,149,152,186],"properly":[105],"emulated":[106,124],"or":[107],"not.":[108],"Improper":[109],"behaviours":[110],"detected":[115],"running":[117],"same":[119],"test-case":[120],"concurrently":[121],"CPUs":[129],"comparing":[132],"state":[134,145],"two":[137],"after":[138],"execution.":[140],"Differences":[141],"final":[144],"testify":[146],"defects":[147,176],"code":[150],"emulator.":[153],"We":[154],"implemented":[155],"this":[156],"prototype":[160],"(codenamed":[161],"EmuFuzzer),":[162],"analysed":[163],"four":[164],"state-of-the-art":[165],"IA-32":[166],"emulators":[167],"(QEMU,":[168],"Valgrind,":[169],"Pin":[170],"BOCHS),":[172],"found":[174],"several":[175],"each":[178],"them,":[180],"which":[183],"can":[184],"prevent":[185],"execution":[188],"programs.":[190]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":12},{"year":2020,"cited_by_count":11},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":12},{"year":2017,"cited_by_count":9},{"year":2016,"cited_by_count":10},{"year":2015,"cited_by_count":6},{"year":2014,"cited_by_count":5},{"year":2013,"cited_by_count":10},{"year":2012,"cited_by_count":18}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}