{"id":"https://openalex.org/W4402442330","doi":"https://doi.org/10.1145/3650212.3680345","title":"AsFuzzer: Differential Testing of Assemblers with Error-Driven Grammar Inference","display_name":"AsFuzzer: Differential Testing of Assemblers with Error-Driven Grammar Inference","publication_year":2024,"publication_date":"2024-09-11","ids":{"openalex":"https://openalex.org/W4402442330","doi":"https://doi.org/10.1145/3650212.3680345"},"language":"en","primary_location":{"id":"doi:10.1145/3650212.3680345","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3650212.3680345","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3650212.3680345?download=true","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3650212.3680345?download=true","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5107249357","display_name":"Hyungseok Kim","orcid":"https://orcid.org/0009-0008-2158-9367"},"institutions":[{"id":"https://openalex.org/I142401562","display_name":"Electronics and Telecommunications Research Institute","ror":"https://ror.org/03ysstz10","country_code":"KR","type":"facility","lineage":["https://openalex.org/I142401562","https://openalex.org/I2801339556","https://openalex.org/I4210144908","https://openalex.org/I4387152098"]}],"countries":["KR"],"is_corresponding":true,"raw_author_name":"Hyungseok Kim","raw_affiliation_strings":["Affiliated Institute of ETRI, Daejeon, South Korea"],"affiliations":[{"raw_affiliation_string":"Affiliated Institute of ETRI, Daejeon, South Korea","institution_ids":["https://openalex.org/I142401562"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107249439","display_name":"Soomin Kim","orcid":"https://orcid.org/0000-0003-3129-3857"},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Soomin Kim","raw_affiliation_strings":["KAIST, Daejeon, South Korea"],"affiliations":[{"raw_affiliation_string":"KAIST, Daejeon, South Korea","institution_ids":["https://openalex.org/I157485424"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044133948","display_name":"J. J. Lee","orcid":null},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Jungwoo Lee","raw_affiliation_strings":["KAIST, Daejeon, South Korea"],"affiliations":[{"raw_affiliation_string":"KAIST, Daejeon, South Korea","institution_ids":["https://openalex.org/I157485424"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5031854438","display_name":"Sang Kil","orcid":"https://orcid.org/0000-0002-6012-7228"},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Sang Kil Cha","raw_affiliation_strings":["KAIST, Daejeon, South Korea"],"affiliations":[{"raw_affiliation_string":"KAIST, Daejeon, South Korea","institution_ids":["https://openalex.org/I157485424"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5107249357"],"corresponding_institution_ids":["https://openalex.org/I142401562"],"apc_list":null,"apc_paid":null,"fwci":0.7283,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.76276696,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1099","last_page":"1111"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9993000030517578,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.9937000274658203,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.7015067934989929},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.6306671500205994},{"id":"https://openalex.org/keywords/differential","display_name":"Differential (mechanical device)","score":0.5654011368751526},{"id":"https://openalex.org/keywords/grammar-induction","display_name":"Grammar induction","score":0.4769388735294342},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.46643948554992676},{"id":"https://openalex.org/keywords/grammar","display_name":"Grammar","score":0.4640580415725708},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.381320595741272},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3357890844345093},{"id":"https://openalex.org/keywords/rule-based-machine-translation","display_name":"Rule-based machine translation","score":0.16972923278808594},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.09635171294212341},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.09225666522979736}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7015067934989929},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.6306671500205994},{"id":"https://openalex.org/C93226319","wikidata":"https://www.wikidata.org/wiki/Q193137","display_name":"Differential (mechanical device)","level":2,"score":0.5654011368751526},{"id":"https://openalex.org/C56601403","wikidata":"https://www.wikidata.org/wiki/Q5593673","display_name":"Grammar induction","level":3,"score":0.4769388735294342},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.46643948554992676},{"id":"https://openalex.org/C26022165","wikidata":"https://www.wikidata.org/wiki/Q8091","display_name":"Grammar","level":2,"score":0.4640580415725708},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.381320595741272},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3357890844345093},{"id":"https://openalex.org/C53893814","wikidata":"https://www.wikidata.org/wiki/Q7378909","display_name":"Rule-based machine translation","level":2,"score":0.16972923278808594},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.09635171294212341},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09225666522979736},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3650212.3680345","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3650212.3680345","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3650212.3680345?download=true","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3650212.3680345","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3650212.3680345","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3650212.3680345?download=true","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.4699999988079071,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4402442330.pdf"},"referenced_works_count":47,"referenced_works":["https://openalex.org/W109452506","https://openalex.org/W315890393","https://openalex.org/W941301462","https://openalex.org/W1989445634","https://openalex.org/W1992181084","https://openalex.org/W2001602611","https://openalex.org/W2030405312","https://openalex.org/W2063257831","https://openalex.org/W2065948900","https://openalex.org/W2098456636","https://openalex.org/W2101635160","https://openalex.org/W2130746431","https://openalex.org/W2153256103","https://openalex.org/W2164264520","https://openalex.org/W2169294765","https://openalex.org/W2170737051","https://openalex.org/W2172154252","https://openalex.org/W2313752879","https://openalex.org/W2370472429","https://openalex.org/W2390518826","https://openalex.org/W2494400401","https://openalex.org/W2499791918","https://openalex.org/W2514578992","https://openalex.org/W2530895108","https://openalex.org/W2767373589","https://openalex.org/W2898192927","https://openalex.org/W2899727632","https://openalex.org/W2900990156","https://openalex.org/W2904932877","https://openalex.org/W2968370566","https://openalex.org/W2968973984","https://openalex.org/W2979357014","https://openalex.org/W3003678351","https://openalex.org/W3007855180","https://openalex.org/W3008874807","https://openalex.org/W3101498506","https://openalex.org/W3107362213","https://openalex.org/W3154674654","https://openalex.org/W3166906400","https://openalex.org/W3205101829","https://openalex.org/W3205944947","https://openalex.org/W4206113027","https://openalex.org/W4220838981","https://openalex.org/W4238893454","https://openalex.org/W4252861488","https://openalex.org/W4327911462","https://openalex.org/W6968670760"],"related_works":["https://openalex.org/W1592678998","https://openalex.org/W1553796764","https://openalex.org/W2057292349","https://openalex.org/W2464798123","https://openalex.org/W2055243143","https://openalex.org/W2576584955","https://openalex.org/W2404911248","https://openalex.org/W2913901589","https://openalex.org/W2619311298","https://openalex.org/W4300277234"],"abstract_inverted_index":{"Assembler":[0],"is":[1,52,126],"a":[2,97,111,147],"critical":[3],"component":[4],"of":[5],"the":[6,15,63,81,115,137,191],"compiler":[7],"toolchain,":[8],"which":[9,54,84],"has":[10],"been":[11],"less":[12],"tested":[13],"than":[14],"other":[16],"components.":[17],"Unfortunately,":[18],"current":[19],"grammar-based":[20],"fuzzing":[21],"techniques":[22],"suffer":[23,79],"from":[24,62,80],"several":[25],"challenges":[26],"when":[27],"testing":[28,89],"assemblers.":[29,90],"First,":[30],"each":[31],"different":[32,35],"assembler":[33,51,160,163,166,171],"accepts":[34],"grammar":[36,46,60,69,107,139],"rules":[37,61,108],"and":[38,40,151,168,187],"syntaxes,":[39],"there":[41],"are":[42,72],"no":[43],"existing":[44,67],"assembly":[45,128],"specifications.":[47],"Second,":[48],"not":[49],"every":[50],"open-source,":[53],"makes":[55],"it":[56,153],"difficult":[57],"to":[58,74,100,114,135,190],"extract":[59],"source":[64],"code.":[65],"While":[66],"black-box":[68],"inference":[70],"approaches":[71],"applicable":[73],"such":[75],"closed-source":[76],"assemblers,":[77],"they":[78],"scalability":[82],"issue,":[83],"renders":[85],"them":[86,189],"impractical":[87],"for":[88,183],"To":[91],"address":[92],"these":[93],"challenges,":[94],"we":[95,175],"propose":[96],"novel":[98],"way":[99],"test":[101],"assemblers":[102,117,157],"by":[103,118],"automatically":[104],"inferring":[105],"their":[106,120],"with":[109],"only":[110],"few":[112],"queries":[113],"target":[116],"leveraging":[119],"error":[121,129],"messages.":[122],"The":[123],"key":[124],"insight":[125],"that":[127],"messages":[130],"often":[131],"deliver":[132],"useful":[133],"information":[134],"infer":[136],"underlying":[138],"rules.":[140],"We":[141],"have":[142,176],"implemented":[143],"our":[144],"technique":[145],"in":[146],"tool":[148],"named":[149],"AsFuzzer,":[150,174],"evaluated":[152],"on":[154],"4":[155],"real-world":[156],"including":[158],"Clang-integrated":[159],"(Clang),":[161],"GNU":[162],"(GAS),":[164],"Intel\u2019s":[165],"(ICC),":[167],"Microsoft":[169],"macro":[170],"(MASM).":[172],"With":[173],"successfully":[177],"found":[178],"497":[179],"buggy":[180],"instruction":[181],"opcodes":[182],"six":[184],"popular":[185],"architectures,":[186],"reported":[188],"developers.":[192]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2026-03-09T08:58:05.943551","created_date":"2025-10-10T00:00:00"}