{"id":"https://openalex.org/W4399563320","doi":"https://doi.org/10.1109/tse.2024.3406900","title":"Examiner-Pro: Testing Arm Emulators Across Different Privileges","display_name":"Examiner-Pro: Testing Arm Emulators Across Different Privileges","publication_year":2024,"publication_date":"2024-06-12","ids":{"openalex":"https://openalex.org/W4399563320","doi":"https://doi.org/10.1109/tse.2024.3406900"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2024.3406900","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2024.3406900","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","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/A5067240337","display_name":"Muhui Jiang","orcid":"https://orcid.org/0000-0003-2196-6894"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Muhui Jiang","raw_affiliation_strings":["Zhejiang University, Hangzhou, China"],"affiliations":[{"raw_affiliation_string":"Zhejiang University, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103021804","display_name":"Xiaoye Zheng","orcid":"https://orcid.org/0009-0001-9048-1930"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaoye Zheng","raw_affiliation_strings":["Zhejiang University, Hangzhou, China"],"affiliations":[{"raw_affiliation_string":"Zhejiang University, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044721876","display_name":"Rui Chang","orcid":"https://orcid.org/0000-0002-0178-0171"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Rui Chang","raw_affiliation_strings":["Zhejiang University, Hangzhou, China"],"affiliations":[{"raw_affiliation_string":"Zhejiang University, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088790914","display_name":"Yajin Zhou","orcid":"https://orcid.org/0000-0001-7610-4736"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yajin Zhou","raw_affiliation_strings":["Zhejiang University, Hangzhou, China"],"affiliations":[{"raw_affiliation_string":"Zhejiang University, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100400376","display_name":"Xiapu Luo","orcid":"https://orcid.org/0000-0002-9082-3208"},"institutions":[{"id":"https://openalex.org/I14243506","display_name":"Hong Kong Polytechnic University","ror":"https://ror.org/0030zas98","country_code":"HK","type":"education","lineage":["https://openalex.org/I14243506"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Xiapu Luo","raw_affiliation_strings":["The Hong Kong polytechnic university, Hong Kong SAR, China","Hong Kong polytechnic university, Hong Kong SAR, China"],"affiliations":[{"raw_affiliation_string":"The Hong Kong polytechnic university, Hong Kong SAR, China","institution_ids":["https://openalex.org/I14243506"]},{"raw_affiliation_string":"Hong Kong polytechnic university, Hong Kong SAR, China","institution_ids":["https://openalex.org/I14243506"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5067240337"],"corresponding_institution_ids":["https://openalex.org/I76130692"],"apc_list":null,"apc_paid":null,"fwci":0.3228,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.53606835,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"50","issue":"11","first_page":"2786","last_page":"2806"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10653","display_name":"Robot Manipulation and Learning","score":0.8364999890327454,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10653","display_name":"Robot Manipulation and Learning","score":0.8364999890327454,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11687","display_name":"Teleoperation and Haptic Systems","score":0.7896999716758728,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical 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.7943483591079712},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3737320899963379},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.3525051474571228}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7943483591079712},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3737320899963379},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.3525051474571228}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tse.2024.3406900","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2024.3406900","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3848079773","display_name":null,"funder_award_id":"U21A20464","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":55,"referenced_works":["https://openalex.org/W78162143","https://openalex.org/W1566072248","https://openalex.org/W1966973702","https://openalex.org/W1973072591","https://openalex.org/W1992181084","https://openalex.org/W2048134700","https://openalex.org/W2061290744","https://openalex.org/W2070386561","https://openalex.org/W2073483982","https://openalex.org/W2091618476","https://openalex.org/W2114780348","https://openalex.org/W2115175195","https://openalex.org/W2136357775","https://openalex.org/W2169294765","https://openalex.org/W2260302358","https://openalex.org/W2295894684","https://openalex.org/W2528795537","https://openalex.org/W2532737545","https://openalex.org/W2575541032","https://openalex.org/W2576376563","https://openalex.org/W2588467577","https://openalex.org/W2642053679","https://openalex.org/W2752289980","https://openalex.org/W2753873057","https://openalex.org/W2761359361","https://openalex.org/W2792451387","https://openalex.org/W2794801050","https://openalex.org/W2889663978","https://openalex.org/W2899599233","https://openalex.org/W2917798975","https://openalex.org/W2963326879","https://openalex.org/W2982547214","https://openalex.org/W2997653900","https://openalex.org/W3034071395","https://openalex.org/W3093870681","https://openalex.org/W3111743984","https://openalex.org/W3142275771","https://openalex.org/W3154674654","https://openalex.org/W3179490740","https://openalex.org/W3211661085","https://openalex.org/W4239031877","https://openalex.org/W4244413641","https://openalex.org/W4244688039","https://openalex.org/W6604335577","https://openalex.org/W6639024520","https://openalex.org/W6687138502","https://openalex.org/W6688638892","https://openalex.org/W6763308182","https://openalex.org/W6766374046","https://openalex.org/W6766660060","https://openalex.org/W6766830175","https://openalex.org/W6767608517","https://openalex.org/W6776032291","https://openalex.org/W6781817248","https://openalex.org/W6793980422"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W2382290278","https://openalex.org/W4395014643"],"abstract_inverted_index":{"Emulators":[0],"are":[1,183],"commonly":[2,196],"employed":[3],"to":[4,10,13,47],"construct":[5],"dynamic":[6],"analysis":[7],"frameworks":[8],"due":[9],"their":[11],"ability":[12],"perform":[14],"fine-grained":[15],"tracing,":[16],"monitor":[17],"full":[18],"system":[19],"functionality,":[20],"and":[21,27,58,66,91,111,139,150,169,179,212,223],"run":[22],"on":[23,79,219],"diverse":[24],"operating":[25],"systems":[26],"architectures.":[28],"Nonetheless,":[29],"the":[30,35,71,80,93,99,126,142,148,154,184,204,214],"consistency":[31],"of":[32,128,156,181,187,216],"emulators":[33,57,182],"with":[34,141],"real":[36,59,129],"devices,":[37],"remains":[38],"uncertain.":[39],"To":[40,152],"address":[41],"this":[42,122],"issue,":[43],"our":[44],"objective":[45],"is":[46],"automatically":[48],"identify":[49],"inconsistent":[50,205],"instructions":[51,198,218],"that":[52,173],"exhibit":[53],"different":[54,133],"behavior":[55,127],"between":[56],"devices":[60,131],"across":[61,132],"distinct":[62],"privileges,":[63],"including":[64],"user-level":[65,149],"system-level":[67],"privilege.":[68],"We":[69,105,171],"target":[70],"Arm":[72,100,130,177],"architecture,":[73],"which":[74,194],"provides":[75],"machine-readable":[76],"specifications.":[77],"Based":[78],"specification,":[81],"we":[82,124,161,190,207],"propose":[83],"a":[84,113],"sufficient":[85],"test":[86],"case":[87],"generator":[88],"by":[89],"designing":[90],"implementing":[92],"first":[94],"symbolic":[95],"execution":[96],"engine":[97],"for":[98],"architecture":[101],"specification":[102],"language":[103],"(ASL).":[104],"generated":[106],"2,774,649":[107],"representative":[108],"instruction":[109,134],"streams":[110],"developed":[112],"differential":[114],"testing":[115],"engine,":[116,123],"<sc":[117,157],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[118,158,201],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">Examiner":[119,159],"Pro</small>.":[120],"With":[121,203],"compared":[125],"sets":[135],"(A32,":[136],"A64,":[137],"T16,":[138],"T32)":[140],"popular":[143],"QEMU":[144],"emulator,":[145],"both":[146],"at":[147],"system-level.":[151],"demonstrate":[153,213],"generalizability":[155],"Pro</small>,":[160],"also":[162],"tested":[163],"two":[164],"other":[165],"emulators,":[166,221],"namely":[167],"Unicorn":[168],"Angr.":[170],"find":[172],"undefined":[174],"implementation":[175],"in":[176],"manual":[178],"bugs":[180],"major":[185],"causes":[186],"inconsistencies.":[188],"Furthermore,":[189],"discover":[191],"17":[192],"bugs,":[193],"influence":[195],"used":[197],"(e.g.,":[199],"<monospace":[200],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">BLX</monospace>).":[202],"instructions,":[206],"build":[208],"three":[209],"security":[210],"applications":[211],"capability":[215],"these":[217],"detecting":[220],"anti-emulation,":[222],"anti-fuzzing.":[224]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2025-10-10T00:00:00"}