{"id":"https://openalex.org/W4411450172","doi":"https://doi.org/10.1145/3729372","title":"Directed Testing in MLIR: Unleashing Its Potential by Overcoming the Limitations of Random Fuzzing","display_name":"Directed Testing in MLIR: Unleashing Its Potential by Overcoming the Limitations of Random Fuzzing","publication_year":2025,"publication_date":"2025-06-19","ids":{"openalex":"https://openalex.org/W4411450172","doi":"https://doi.org/10.1145/3729372"},"language":"en","primary_location":{"id":"doi:10.1145/3729372","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729372","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1145/3729372","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5022638114","display_name":"Weiyuan Tong","orcid":"https://orcid.org/0000-0002-9907-5859"},"institutions":[{"id":"https://openalex.org/I37802460","display_name":"Northwest University","ror":"https://ror.org/00z3td547","country_code":"CN","type":"education","lineage":["https://openalex.org/I37802460"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Weiyuan Tong","raw_affiliation_strings":["Northwest University, Xi'an, China"],"affiliations":[{"raw_affiliation_string":"Northwest University, Xi'an, China","institution_ids":["https://openalex.org/I37802460"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066630621","display_name":"Zixu Wang","orcid":"https://orcid.org/0009-0005-6921-7835"},"institutions":[{"id":"https://openalex.org/I37802460","display_name":"Northwest University","ror":"https://ror.org/00z3td547","country_code":"CN","type":"education","lineage":["https://openalex.org/I37802460"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zixu Wang","raw_affiliation_strings":["Northwest University, Xi'an, China"],"affiliations":[{"raw_affiliation_string":"Northwest University, Xi'an, China","institution_ids":["https://openalex.org/I37802460"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069158506","display_name":"Zhanyong Tang","orcid":"https://orcid.org/0000-0002-4333-2334"},"institutions":[{"id":"https://openalex.org/I37802460","display_name":"Northwest University","ror":"https://ror.org/00z3td547","country_code":"CN","type":"education","lineage":["https://openalex.org/I37802460"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhanyong Tang","raw_affiliation_strings":["Northwest University, Xi'an, China"],"affiliations":[{"raw_affiliation_string":"Northwest University, Xi'an, China","institution_ids":["https://openalex.org/I37802460"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083171604","display_name":"Jianbin Fang","orcid":"https://orcid.org/0000-0003-3542-4869"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jianbin Fang","raw_affiliation_strings":["National University of Defense Technology, Changsha, China"],"affiliations":[{"raw_affiliation_string":"National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102896445","display_name":"Yuqun Zhang","orcid":"https://orcid.org/0000-0003-2239-6723"},"institutions":[{"id":"https://openalex.org/I3045169105","display_name":"Southern University of Science and Technology","ror":"https://ror.org/049tv2d57","country_code":"CN","type":"education","lineage":["https://openalex.org/I3045169105"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuqun Zhang","raw_affiliation_strings":["Southern University of Science and Technology, Shenzhen, China"],"affiliations":[{"raw_affiliation_string":"Southern University of Science and Technology, Shenzhen, China","institution_ids":["https://openalex.org/I3045169105"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013951362","display_name":"Guixin Ye","orcid":"https://orcid.org/0000-0003-2074-4253"},"institutions":[{"id":"https://openalex.org/I37802460","display_name":"Northwest University","ror":"https://ror.org/00z3td547","country_code":"CN","type":"education","lineage":["https://openalex.org/I37802460"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Guixin Ye","raw_affiliation_strings":["Northwest University, Xi'an, China"],"affiliations":[{"raw_affiliation_string":"Northwest University, Xi'an, China","institution_ids":["https://openalex.org/I37802460"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5022638114"],"corresponding_institution_ids":["https://openalex.org/I37802460"],"apc_list":null,"apc_paid":null,"fwci":2.3808,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.87894612,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"2","issue":"FSE","first_page":"2288","last_page":"2310"},"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/T10260","display_name":"Software Engineering Research","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.9958000183105469,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/fuzz-testing","display_name":"Fuzz testing","score":0.9948360323905945},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7514638900756836},{"id":"https://openalex.org/keywords/random-testing","display_name":"Random testing","score":0.6780078411102295},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5630309581756592},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5033561587333679},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.4440564215183258},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.43381163477897644},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.4318602681159973},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3449539840221405},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.22947245836257935},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.16780278086662292}],"concepts":[{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.9948360323905945},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7514638900756836},{"id":"https://openalex.org/C106159264","wikidata":"https://www.wikidata.org/wiki/Q17146789","display_name":"Random testing","level":4,"score":0.6780078411102295},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5630309581756592},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5033561587333679},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.4440564215183258},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.43381163477897644},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.4318602681159973},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3449539840221405},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.22947245836257935},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.16780278086662292},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3729372","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729372","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3729372","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729372","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.6299999952316284,"id":"https://metadata.un.org/sdg/9"}],"awards":[{"id":"https://openalex.org/G3891155436","display_name":null,"funder_award_id":"62372373, 62472351","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":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W1988510359","https://openalex.org/W2100310618","https://openalex.org/W2150874999","https://openalex.org/W2809097206","https://openalex.org/W2890745669","https://openalex.org/W2957905354","https://openalex.org/W2999084989","https://openalex.org/W3089659633","https://openalex.org/W3093294154","https://openalex.org/W3104663419","https://openalex.org/W3130011944","https://openalex.org/W3149100806","https://openalex.org/W3160029089","https://openalex.org/W3164008977","https://openalex.org/W3208708185","https://openalex.org/W3209828932","https://openalex.org/W4220850685","https://openalex.org/W4221144766","https://openalex.org/W4281652542","https://openalex.org/W4284686707","https://openalex.org/W4284707748","https://openalex.org/W4284708930","https://openalex.org/W4285490440","https://openalex.org/W4290648346","https://openalex.org/W4308643012","https://openalex.org/W4313442384","https://openalex.org/W4321446270","https://openalex.org/W4378591002","https://openalex.org/W4378770802","https://openalex.org/W4388483154","https://openalex.org/W4389158362","https://openalex.org/W4402457426","https://openalex.org/W6939665049","https://openalex.org/W7131907535"],"related_works":["https://openalex.org/W614438062","https://openalex.org/W3119380829","https://openalex.org/W2903305687","https://openalex.org/W3019261932","https://openalex.org/W2367359933","https://openalex.org/W4388858992","https://openalex.org/W3173990398","https://openalex.org/W4205454537","https://openalex.org/W4391039293","https://openalex.org/W2547155723"],"abstract_inverted_index":{"MLIR":[0,17,93,140],"is":[1],"a":[2,57,83,98],"new":[3],"way":[4],"of":[5,39,92,110,122],"creating":[6],"compiler":[7],"infrastructures":[8],"that":[9,87],"can":[10],"be":[11],"easily":[12],"reused":[13],"and":[14,72],"extended.":[15],"Current":[16],"fuzzing":[18,85],"methods":[19],"focus":[20],"primarily":[21],"on":[22,69],"test":[23],"case":[24],"generation":[25],"or":[26],"mutation":[27],"using":[28],"randomly":[29],"selected":[30],"passes.":[31],"However,":[32],"they":[33],"often":[34],"overlook":[35],"the":[36,62,89,106,116,139],"hierarchical":[37,107],"structure":[38],"MLIR,":[40,111],"resulting":[41,65],"in":[42,44,66],"inefficiencies":[43],"bug":[45],"detection,":[46],"especially":[47],"for":[48],"issues":[49],"triggered":[50],"by":[51,138],"downstream":[52],"dialects.":[53],"Random":[54],"testing":[55,100],"lacks":[56],"focused":[58],"approach":[59,86],"to":[60,115],"exploring":[61],"code":[63,108],"space,":[64],"wasted":[67],"resources":[68],"normal":[70],"components":[71],"overlooking":[73],"bug-prone":[74,123],"areas.":[75],"To":[76],"address":[77],"these":[78],"limitations,":[79],"we":[80],"introduce":[81],"MLIRTracer,":[82],"top-down":[84],"targets":[88],"highest":[90],"level":[91],"programs":[94],"(tosa":[95],"IR)":[96],"with":[97,134],"directed":[99,126],"strategy.":[101],"Our":[102],"method":[103],"systematically":[104],"traverses":[105],"space":[109],"from":[112],"tosa":[113],"IR":[114],"lower":[117],"levels,":[118],"while":[119],"prioritizing":[120],"tests":[121],"areas":[124],"through":[125],"exploration.":[127],"MLIRTracer":[128],"has":[129],"successfully":[130],"detected":[131],"73":[132],"bugs,":[133],"61":[135],"already":[136],"resolved":[137],"developers.":[141]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-02-28T09:26:25.869077","created_date":"2025-10-10T00:00:00"}