{"id":"https://openalex.org/W4395001508","doi":"https://doi.org/10.1145/3660526","title":"Knowledge-Augmented Mutation-Based Bug Localization for Hardware Design Code","display_name":"Knowledge-Augmented Mutation-Based Bug Localization for Hardware Design Code","publication_year":2024,"publication_date":"2024-04-22","ids":{"openalex":"https://openalex.org/W4395001508","doi":"https://doi.org/10.1145/3660526"},"language":"en","primary_location":{"id":"doi:10.1145/3660526","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3660526","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3660526","source":{"id":"https://openalex.org/S26056741","display_name":"ACM Transactions on Architecture and Code Optimization","issn_l":"1544-3566","issn":["1544-3566","1544-3973"],"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Architecture and Code Optimization","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3660526","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5021371093","display_name":"Jiang Wu","orcid":"https://orcid.org/0000-0002-6353-8890"},"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":"Jiang Wu","raw_affiliation_strings":["National University of Defense Technology, Changsha, China"],"raw_orcid":"https://orcid.org/0000-0002-6353-8890","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/A5101941418","display_name":"Zhuo Zhang","orcid":"https://orcid.org/0000-0003-3243-1019"},"institutions":[{"id":"https://openalex.org/I4210131919","display_name":"Xi'an University of Technology","ror":"https://ror.org/038avdt50","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210131919"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhuo Zhang","raw_affiliation_strings":["Xi'an University of Technology, Xi'an, China"],"raw_orcid":"https://orcid.org/0000-0003-3243-1019","affiliations":[{"raw_affiliation_string":"Xi'an University of Technology, Xi'an, China","institution_ids":["https://openalex.org/I4210131919"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003136837","display_name":"Deheng Yang","orcid":"https://orcid.org/0000-0002-8383-1939"},"institutions":[{"id":"https://openalex.org/I4210158522","display_name":"PLA Academy of Military Science","ror":"https://ror.org/05ct4s596","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210158522"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Deheng Yang","raw_affiliation_strings":["Academy of Military Science of the People's Liberation Army, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-8383-1939","affiliations":[{"raw_affiliation_string":"Academy of Military Science of the People's Liberation Army, Beijing, China","institution_ids":["https://openalex.org/I4210158522"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023948588","display_name":"Jianjun Xu","orcid":"https://orcid.org/0000-0001-7668-0522"},"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":"Jianjun Xu","raw_affiliation_strings":["National University of Defense Technology, Changsha, China"],"raw_orcid":"https://orcid.org/0000-0001-7668-0522","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/A5034699862","display_name":"Jiayu He","orcid":"https://orcid.org/0000-0002-1329-7312"},"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":"Jiayu He","raw_affiliation_strings":["National University of Defense Technology, Changsha, China"],"raw_orcid":"https://orcid.org/0000-0002-1329-7312","affiliations":[{"raw_affiliation_string":"National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080183182","display_name":"Xiaoguang Mao","orcid":"https://orcid.org/0000-0003-4204-7424"},"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":"Xiaoguang Mao","raw_affiliation_strings":["National University of Defense Technology, Changsha, China"],"raw_orcid":"https://orcid.org/0000-0003-4204-7424","affiliations":[{"raw_affiliation_string":"National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.8578,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.86612576,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":98},"biblio":{"volume":"21","issue":"3","first_page":"1","last_page":"26"},"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.991599977016449,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9915000200271606,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8188530802726746},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.6310451030731201},{"id":"https://openalex.org/keywords/mutation","display_name":"Mutation","score":0.6032168865203857},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.42399805784225464},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.39672237634658813},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.3902561664581299},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3772636950016022},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.37587782740592957},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.10352262854576111}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8188530802726746},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.6310451030731201},{"id":"https://openalex.org/C501734568","wikidata":"https://www.wikidata.org/wiki/Q42918","display_name":"Mutation","level":3,"score":0.6032168865203857},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.42399805784225464},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.39672237634658813},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3902561664581299},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3772636950016022},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.37587782740592957},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.10352262854576111},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3660526","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3660526","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3660526","source":{"id":"https://openalex.org/S26056741","display_name":"ACM Transactions on Architecture and Code Optimization","issn_l":"1544-3566","issn":["1544-3566","1544-3973"],"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Architecture and Code Optimization","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3660526","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3660526","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3660526","source":{"id":"https://openalex.org/S26056741","display_name":"ACM Transactions on Architecture and Code Optimization","issn_l":"1544-3566","issn":["1544-3566","1544-3973"],"is_oa":true,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Architecture and Code Optimization","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.6000000238418579}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4395001508.pdf","grobid_xml":"https://content.openalex.org/works/W4395001508.grobid-xml"},"referenced_works_count":42,"referenced_works":["https://openalex.org/W347636100","https://openalex.org/W1950030762","https://openalex.org/W1980199047","https://openalex.org/W2012611390","https://openalex.org/W2112825198","https://openalex.org/W2130323538","https://openalex.org/W2135841285","https://openalex.org/W2139531926","https://openalex.org/W2155479707","https://openalex.org/W2162045655","https://openalex.org/W2162946946","https://openalex.org/W2343875716","https://openalex.org/W2477851027","https://openalex.org/W2620081107","https://openalex.org/W2751165549","https://openalex.org/W2883977877","https://openalex.org/W2967415589","https://openalex.org/W2998154431","https://openalex.org/W3000602293","https://openalex.org/W3013098030","https://openalex.org/W3026584292","https://openalex.org/W3042956498","https://openalex.org/W3044153924","https://openalex.org/W3081485108","https://openalex.org/W3160492491","https://openalex.org/W3161580966","https://openalex.org/W4206831070","https://openalex.org/W4213151038","https://openalex.org/W4226337124","https://openalex.org/W4226467489","https://openalex.org/W4232669720","https://openalex.org/W4236075701","https://openalex.org/W4241025692","https://openalex.org/W4241395538","https://openalex.org/W4244078624","https://openalex.org/W4248657623","https://openalex.org/W4248799824","https://openalex.org/W4253441452","https://openalex.org/W4293108549","https://openalex.org/W4311805847","https://openalex.org/W4386767094","https://openalex.org/W6721382004"],"related_works":["https://openalex.org/W2115140794","https://openalex.org/W2041120224","https://openalex.org/W1504320321","https://openalex.org/W2067902980","https://openalex.org/W4312275919","https://openalex.org/W2338293335","https://openalex.org/W2039378765","https://openalex.org/W2548529098","https://openalex.org/W2614685449","https://openalex.org/W2056396287"],"abstract_inverted_index":{"Verification":[0],"of":[1,11,18,69,101,104,133,177,196,205,249],"hardware":[2,12,24,30,59,142,166,207,250],"design":[3,25,167],"code":[4,26,168],"is":[5,27,33,122,222],"crucial":[6],"for":[7,29,116,136,165],"the":[8,23,58,67,102,117,131,175,186,194,233,242,254],"quality":[9],"assurance":[10],"products.":[13],"Being":[14],"an":[15,98],"indispensable":[16],"part":[17],"verification,":[19],"localizing":[20],"bugs":[21],"in":[22,57,79,139],"significant":[28],"development":[31],"but":[32,88],"often":[34],"regarded":[35],"as":[36],"a":[37,80,113,120,150],"notoriously":[38],"difficult":[39],"and":[40,76,106,181],"time-consuming":[41],"task.":[42],"Thus,":[43],"automated":[44,87,137],"bug":[45,73,126,161,179,212,251],"localization":[46,74,91,127,180,213,252],"techniques":[47,94,108,128],"that":[48,119,220],"could":[49],"assist":[50],"manual":[51],"debugging":[52],"have":[53,89],"attracted":[54],"much":[55],"attention":[56],"community.":[60,255],"However,":[61],"existing":[62],"approaches":[63],"are":[64,85],"hampered":[65],"by":[66,184,209,237],"challenge":[68],"achieving":[70],"both":[71],"demanding":[72],"accuracy":[75],"facile":[77],"automation":[78,183],"single":[81],"method.":[82],"Simulation-based":[83],"methods":[84,236],"fully":[86],"limited":[90],"accuracy,":[92],"slice-based":[93],"can":[95,109,231],"only":[96,111],"give":[97],"approximate":[99],"range":[100],"presence":[103],"bugs,":[105],"spectrum-based":[107],"also":[110],"yield":[112],"reference":[114],"value":[115],"likelihood":[118],"statement":[121],"buggy.":[123],"Furthermore,":[124],"formula-based":[125],"suffer":[129],"from":[130],"complexity":[132],"combinatorial":[134],"explosion":[135],"application":[138],"industrial":[140],"large-scale":[141,200],"designs.":[143],"In":[144],"this":[145],"work,":[146],"we":[147,198],"propose":[148],"Kummel,":[149,197],"K":[151],"nowledge-a":[152],"u":[153],"g":[154],"m":[155,157],"ented":[156],"utation-bas":[158],"e":[159],"d":[160],"loca":[162],"l":[163],"ization":[164],"to":[169,253],"address":[170],"these":[171],"limitations.":[172],"Kummel":[173,221],"achieves":[174],"unity":[176],"precise":[178],"full":[182],"utilizing":[185],"knowledge":[187],"augmentation":[188],"through":[189],"mutation":[190],"analysis.":[191],"To":[192],"evaluate":[193],"effectiveness":[195],"conduct":[199],"experiments":[201],"on":[202,239],"76":[203],"versions":[204],"17":[206],"projects":[208],"seven":[210,234],"state-of-the-art":[211],"techniques.":[214],"The":[215],"experimental":[216],"results":[217],"clearly":[218],"show":[219],"statistically":[223],"more":[224],"effective":[225],"than":[226],"baselines,":[227],"e.g.,":[228],"our":[229],"approach":[230],"improve":[232],"original":[235],"64.48%":[238],"average":[240],"under":[241],"RImp":[243],"metric.":[244],"It":[245],"brings":[246],"fresh":[247],"insights":[248]},"counts_by_year":[{"year":2025,"cited_by_count":5}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}