{"id":"https://openalex.org/W4407353004","doi":"https://doi.org/10.1145/3716379","title":"<scp>DrWASI</scp> : LLM-assisted Differential Testing for WebAssembly System Interface Implementations","display_name":"<scp>DrWASI</scp> : LLM-assisted Differential Testing for WebAssembly System Interface Implementations","publication_year":2025,"publication_date":"2025-02-11","ids":{"openalex":"https://openalex.org/W4407353004","doi":"https://doi.org/10.1145/3716379"},"language":"en","primary_location":{"id":"doi:10.1145/3716379","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3716379","pdf_url":null,"source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","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/A5100396618","display_name":"Yixuan Zhang","orcid":"https://orcid.org/0000-0003-3466-0165"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yixuan Zhang","raw_affiliation_strings":["School of Computer Science, Peking University, Beijing, China","Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education; School of Computer Science, Peking University, China"],"raw_orcid":"https://orcid.org/0000-0003-3466-0165","affiliations":[{"raw_affiliation_string":"School of Computer Science, Peking University, Beijing, China","institution_ids":["https://openalex.org/I20231570"]},{"raw_affiliation_string":"Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education; School of Computer Science, Peking University, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091926865","display_name":"Ningyu He","orcid":"https://orcid.org/0000-0002-9980-7298"},"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":"Ningyu He","raw_affiliation_strings":["The Hong Kong Polytechnic University, Hong Kong, Hong Kong","The Hong Kong Polytechnic University, China"],"raw_orcid":"https://orcid.org/0000-0002-9980-7298","affiliations":[{"raw_affiliation_string":"The Hong Kong Polytechnic University, Hong Kong, Hong Kong","institution_ids":["https://openalex.org/I14243506"]},{"raw_affiliation_string":"The Hong Kong Polytechnic University, China","institution_ids":["https://openalex.org/I14243506"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111172082","display_name":"Jianting Gao","orcid":null},"institutions":[{"id":"https://openalex.org/I47720641","display_name":"Huazhong University of Science and Technology","ror":"https://ror.org/00p991c53","country_code":"CN","type":"education","lineage":["https://openalex.org/I47720641"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jianting Gao","raw_affiliation_strings":["Huazhong University of Science and Technology, Wuhan, China","Huazhong University of Science and Technology, China"],"raw_orcid":"https://orcid.org/0009-0004-9613-9572","affiliations":[{"raw_affiliation_string":"Huazhong University of Science and Technology, Wuhan, China","institution_ids":["https://openalex.org/I47720641"]},{"raw_affiliation_string":"Huazhong University of Science and Technology, China","institution_ids":["https://openalex.org/I47720641"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041990675","display_name":"Shangtong Cao","orcid":"https://orcid.org/0009-0007-4557-3813"},"institutions":[{"id":"https://openalex.org/I139759216","display_name":"Beijing University of Posts and Telecommunications","ror":"https://ror.org/04w9fbh59","country_code":"CN","type":"education","lineage":["https://openalex.org/I139759216"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shangtong Cao","raw_affiliation_strings":["Beijing University of Posts and Telecommunications, Beijing, China","Beijing University of Posts and Telecommunications, China"],"raw_orcid":"https://orcid.org/0009-0007-4557-3813","affiliations":[{"raw_affiliation_string":"Beijing University of Posts and Telecommunications, Beijing, China","institution_ids":["https://openalex.org/I139759216"]},{"raw_affiliation_string":"Beijing University of Posts and Telecommunications, China","institution_ids":["https://openalex.org/I139759216"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086267210","display_name":"Kaibo Liu","orcid":"https://orcid.org/0009-0005-9302-4953"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Kaibo Liu","raw_affiliation_strings":["School of Computer Science, Peking University, Beijing, China","Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education; School of Computer Science, Peking University, China"],"raw_orcid":"https://orcid.org/0009-0005-9302-4953","affiliations":[{"raw_affiliation_string":"School of Computer Science, Peking University, Beijing, China","institution_ids":["https://openalex.org/I20231570"]},{"raw_affiliation_string":"Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education; School of Computer Science, Peking University, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5115695530","display_name":"Haoyu Wang","orcid":"https://orcid.org/0000-0003-1100-8633"},"institutions":[{"id":"https://openalex.org/I47720641","display_name":"Huazhong University of Science and Technology","ror":"https://ror.org/00p991c53","country_code":"CN","type":"education","lineage":["https://openalex.org/I47720641"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Haoyu Wang","raw_affiliation_strings":["Huazhong University of Science and Technology, Wuhan, China","Huazhong University of Science and Technology, China"],"raw_orcid":"https://orcid.org/0000-0003-1100-8633","affiliations":[{"raw_affiliation_string":"Huazhong University of Science and Technology, Wuhan, China","institution_ids":["https://openalex.org/I47720641"]},{"raw_affiliation_string":"Huazhong University of Science and Technology, China","institution_ids":["https://openalex.org/I47720641"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101614814","display_name":"Yun Ma","orcid":"https://orcid.org/0000-0001-7866-4075"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]},{"id":"https://openalex.org/I4210100255","display_name":"Beijing Academy of Artificial Intelligence","ror":"https://ror.org/016a74861","country_code":"CN","type":"other","lineage":["https://openalex.org/I4210100255"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yun Ma","raw_affiliation_strings":["Institute for Artificial intelligence, Peking University, Beijing, China","Institute for Artificial Intelligence, Peking University, China"],"raw_orcid":"https://orcid.org/0000-0001-7866-4075","affiliations":[{"raw_affiliation_string":"Institute for Artificial intelligence, Peking University, Beijing, China","institution_ids":["https://openalex.org/I4210100255"]},{"raw_affiliation_string":"Institute for Artificial Intelligence, Peking University, China","institution_ids":["https://openalex.org/I20231570","https://openalex.org/I4210100255"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101617703","display_name":"Gang Huang","orcid":"https://orcid.org/0000-0002-4686-3181"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]},{"id":"https://openalex.org/I4210088225","display_name":"China National Space Administration","ror":"https://ror.org/004vanv95","country_code":"CN","type":"government","lineage":["https://openalex.org/I4210088225"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Gang Huang","raw_affiliation_strings":["School of Computer Science, Peking University, Beijing, China and National Key Laboratory of Data Space Technology and System, Beijing, China","School of Computer Science, Peking University; National Key Laboratory of Data Space Technology and System, China"],"raw_orcid":"https://orcid.org/0000-0002-4686-3181","affiliations":[{"raw_affiliation_string":"School of Computer Science, Peking University, Beijing, China and National Key Laboratory of Data Space Technology and System, Beijing, China","institution_ids":["https://openalex.org/I20231570","https://openalex.org/I4210088225"]},{"raw_affiliation_string":"School of Computer Science, Peking University; National Key Laboratory of Data Space Technology and System, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5052249316","display_name":"Xuanzhe Liu","orcid":"https://orcid.org/0000-0002-7908-8484"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xuanzhe Liu","raw_affiliation_strings":["Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, Beijing, China and School of Computer Science, Peking University, Beijing, China","Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education; School of Computer Science, Peking University, China"],"raw_orcid":"https://orcid.org/0000-0002-7908-8484","affiliations":[{"raw_affiliation_string":"Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, Beijing, China and School of Computer Science, Peking University, Beijing, China","institution_ids":["https://openalex.org/I20231570"]},{"raw_affiliation_string":"Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education; School of Computer Science, Peking University, China","institution_ids":["https://openalex.org/I20231570"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.1762,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.76859504,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"35","issue":"2","first_page":"1","last_page":"25"},"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.9947999715805054,"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.9947999715805054,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9879000186920166,"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/T11338","display_name":"Advancements in Photolithography Techniques","score":0.9728000164031982,"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.8490692377090454},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.7802250385284424},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.629802405834198},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4370800256729126},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3743865489959717},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.329052209854126}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8490692377090454},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.7802250385284424},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.629802405834198},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4370800256729126},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3743865489959717},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.329052209854126},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3716379","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3716379","pdf_url":null,"source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8414340155","display_name":null,"funder_award_id":"62325201","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":27,"referenced_works":["https://openalex.org/W109452506","https://openalex.org/W2538113128","https://openalex.org/W2625141509","https://openalex.org/W2734941459","https://openalex.org/W2788197406","https://openalex.org/W2954978134","https://openalex.org/W2979976652","https://openalex.org/W2991603322","https://openalex.org/W3117333366","https://openalex.org/W3132819707","https://openalex.org/W3149775480","https://openalex.org/W3154106427","https://openalex.org/W3173940409","https://openalex.org/W3202887189","https://openalex.org/W4200292242","https://openalex.org/W4206742944","https://openalex.org/W4282962713","https://openalex.org/W4284692355","https://openalex.org/W4285177210","https://openalex.org/W4307886860","https://openalex.org/W4308642082","https://openalex.org/W4376606588","https://openalex.org/W4384154483","https://openalex.org/W4384155703","https://openalex.org/W4385080305","https://openalex.org/W4388819580","https://openalex.org/W4389162688"],"related_works":["https://openalex.org/W2120447654","https://openalex.org/W2977179488","https://openalex.org/W2144453115","https://openalex.org/W2744553356","https://openalex.org/W2128223750","https://openalex.org/W4238532390","https://openalex.org/W2188872161","https://openalex.org/W2961779879","https://openalex.org/W797688974","https://openalex.org/W2002978035"],"abstract_inverted_index":{"WebAssembly":[0,42],"(Wasm)":[1],"is":[2,40],"an":[3],"emerging":[4],"binary":[5],"format":[6],"that":[7,23,79,163],"serves":[8],"as":[9],"a":[10,113,180,185],"compilation":[11],"target":[12],"for":[13,107,197],"over":[14],"40":[15],"programming":[16],"languages.":[17],"Wasm":[18,60,87,142,192],"runtimes":[19,39],"provide":[20],"execution":[21],"environments":[22],"enhance":[24],"portability":[25],"by":[26,175],"abstracting":[27],"away":[28],"operating":[29,50],"systems":[30],"and":[31,89,120,123,129,147,152,172],"hardware":[32],"details.":[33],"A":[34],"key":[35],"component":[36],"in":[37,183],"these":[38],"the":[41,56,62,82,95,101,131,154,191],"System":[43],"Interface":[44],"(WASI),":[45],"which":[46],"manages":[47],"interactions":[48],"with":[49,169],"systems,":[51],"like":[52],"file":[53],"operations.":[54],"Considering":[55],"critical":[57],"role":[58],"of":[59,85,190],"runtimes,":[61],"community":[63],"has":[64,74],"aimed":[65],"to":[66,117,127],"detect":[67],"their":[68],"implementation":[69],"bugs.":[70,159],"However,":[71],"no":[72],"work":[73],"focused":[75],"on":[76],"WASI-specific":[77],"bugs":[78],"can":[80,157],"affect":[81],"original":[83],"functionalities":[84],"running":[86],"binaries":[88],"cause":[90],"unexpected":[91],"results.":[92],"To":[93],"fill":[94],"void,":[96],"we":[97],"present":[98],"DrWASI":[99,156,164],",":[100],"first":[102],"general-purpose":[103],"differential":[104,138],"testing":[105,139],"framework":[106],"WASI":[108],"implementations.":[109],"Our":[110,160],"approach":[111],"uses":[112],"large":[114],"language":[115],"model":[116],"generate":[118],"seeds":[119],"applies":[121],"variant":[122],"environment":[124],"mutation":[125],"strategies":[126],"expand":[128],"enrich":[130],"test":[132],"case":[133],"corpus.":[134],"We":[135],"then":[136],"perform":[137],"across":[140],"major":[141],"runtimes.":[143],"By":[144],"leveraging":[145],"dynamic":[146],"static":[148],"information":[149],"collected":[150],"during":[151],"after":[153],"execution,":[155],"identify":[158],"evaluation":[161],"shows":[162],"uncovered":[165],"33":[166],"unique":[167],"bugs,":[168],"all":[170],"confirmed":[171],"7":[173],"fixed":[174],"developers.":[176],"This":[177],"research":[178],"represents":[179],"pioneering":[181],"step":[182],"exploring":[184],"promising":[186],"yet":[187],"under-explored":[188],"area":[189],"ecosystem,":[193],"providing":[194],"valuable":[195],"insights":[196],"stakeholders.":[198]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}