{"id":"https://openalex.org/W7082379287","doi":"https://doi.org/10.1145/3769119","title":"FPGA Interactive Debugging Tools Testing via Mutation Diversification Search","display_name":"FPGA Interactive Debugging Tools Testing via Mutation Diversification Search","publication_year":2025,"publication_date":"2025-09-20","ids":{"openalex":"https://openalex.org/W7082379287","doi":"https://doi.org/10.1145/3769119"},"language":"en","primary_location":{"id":"doi:10.1145/3769119","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3769119","pdf_url":null,"source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"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 Design Automation of Electronic Systems","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":null,"display_name":"Xiaoyu Wang","orcid":"https://orcid.org/0009-0004-8709-2784"},"institutions":[{"id":"https://openalex.org/I43313876","display_name":"Dalian Maritime University","ror":"https://ror.org/002b7nr53","country_code":"CN","type":"education","lineage":["https://openalex.org/I43313876"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaoyu Wang","raw_affiliation_strings":["Dalian Maritime University"],"raw_orcid":"https://orcid.org/0009-0004-8709-2784","affiliations":[{"raw_affiliation_string":"Dalian Maritime University","institution_ids":["https://openalex.org/I43313876"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Shikai Guo","orcid":"https://orcid.org/0000-0002-8554-6365"},"institutions":[{"id":"https://openalex.org/I43313876","display_name":"Dalian Maritime University","ror":"https://ror.org/002b7nr53","country_code":"CN","type":"education","lineage":["https://openalex.org/I43313876"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shikai Guo","raw_affiliation_strings":["Dalian Maritime University"],"raw_orcid":"https://orcid.org/0000-0002-8554-6365","affiliations":[{"raw_affiliation_string":"Dalian Maritime University","institution_ids":["https://openalex.org/I43313876"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Zong Liu","orcid":"https://orcid.org/0009-0000-4877-0272"},"institutions":[{"id":"https://openalex.org/I43313876","display_name":"Dalian Maritime University","ror":"https://ror.org/002b7nr53","country_code":"CN","type":"education","lineage":["https://openalex.org/I43313876"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zong Liu","raw_affiliation_strings":["Dalian Maritime University"],"raw_orcid":"https://orcid.org/0009-0000-4877-0272","affiliations":[{"raw_affiliation_string":"Dalian Maritime University","institution_ids":["https://openalex.org/I43313876"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Yi Guo","orcid":"https://orcid.org/0009-0004-8844-4040"},"institutions":[{"id":"https://openalex.org/I43313876","display_name":"Dalian Maritime University","ror":"https://ror.org/002b7nr53","country_code":"CN","type":"education","lineage":["https://openalex.org/I43313876"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yi Guo","raw_affiliation_strings":["Dalian Maritime University"],"raw_orcid":"https://orcid.org/0009-0004-8844-4040","affiliations":[{"raw_affiliation_string":"Dalian Maritime University","institution_ids":["https://openalex.org/I43313876"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Xiaochen Li","orcid":"https://orcid.org/0000-0002-5068-1938"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaochen Li","raw_affiliation_strings":["Dalian University of Technology"],"raw_orcid":"https://orcid.org/0000-0002-5068-1938","affiliations":[{"raw_affiliation_string":"Dalian University of Technology","institution_ids":["https://openalex.org/I27357992"]}]},{"author_position":"last","author":{"id":null,"display_name":"He Jiang","orcid":"https://orcid.org/0000-0001-8674-4948"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"He Jiang","raw_affiliation_strings":["Dalian University of Technology"],"raw_orcid":"https://orcid.org/0000-0001-8674-4948","affiliations":[{"raw_affiliation_string":"Dalian University of Technology","institution_ids":["https://openalex.org/I27357992"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.61307336,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"31","issue":"4","first_page":"1","last_page":"19"},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T12157","display_name":"Geochemistry and Geologic Mapping","score":0.6186000108718872,"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/T12157","display_name":"Geochemistry and Geologic Mapping","score":0.6186000108718872,"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/T13067","display_name":"Geological Modeling and Analysis","score":0.0340999998152256,"subfield":{"id":"https://openalex.org/subfields/1906","display_name":"Geochemistry and Petrology"},"field":{"id":"https://openalex.org/fields/19","display_name":"Earth and Planetary Sciences"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10271","display_name":"Seismic Imaging and Inversion Techniques","score":0.01899999938905239,"subfield":{"id":"https://openalex.org/subfields/1908","display_name":"Geophysics"},"field":{"id":"https://openalex.org/fields/19","display_name":"Earth and Planetary Sciences"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.830299973487854},{"id":"https://openalex.org/keywords/debugger","display_name":"Debugger","score":0.800000011920929},{"id":"https://openalex.org/keywords/mutation","display_name":"Mutation","score":0.4307999908924103},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.41670000553131104},{"id":"https://openalex.org/keywords/mutation-testing","display_name":"Mutation testing","score":0.39480000734329224},{"id":"https://openalex.org/keywords/design-space-exploration","display_name":"Design space exploration","score":0.27469998598098755}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8471999764442444},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.830299973487854},{"id":"https://openalex.org/C2778485113","wikidata":"https://www.wikidata.org/wiki/Q193231","display_name":"Debugger","level":3,"score":0.800000011920929},{"id":"https://openalex.org/C501734568","wikidata":"https://www.wikidata.org/wiki/Q42918","display_name":"Mutation","level":3,"score":0.4307999908924103},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4203999936580658},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.41670000553131104},{"id":"https://openalex.org/C163565370","wikidata":"https://www.wikidata.org/wiki/Q4308623","display_name":"Mutation testing","level":4,"score":0.39480000734329224},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3458999991416931},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.326200008392334},{"id":"https://openalex.org/C2776221188","wikidata":"https://www.wikidata.org/wiki/Q21072556","display_name":"Design space exploration","level":2,"score":0.27469998598098755},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.2687999904155731},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.2678000032901764},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.26019999384880066},{"id":"https://openalex.org/C179518139","wikidata":"https://www.wikidata.org/wiki/Q5140297","display_name":"Coding (social sciences)","level":2,"score":0.25049999356269836}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3769119","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3769119","pdf_url":null,"source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"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 Design Automation of Electronic Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.46683207154273987,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G1847967853","display_name":null,"funder_award_id":"2024JJ12GX022","funder_id":"https://openalex.org/F4320336584","funder_display_name":"Dalian Science and Technology Innovation Fund"},{"id":"https://openalex.org/G6396265878","display_name":null,"funder_award_id":"62472062, and 62202079","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7101281488","display_name":null,"funder_award_id":"3132025265","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335787","display_name":"Fundamental Research Funds for the Central Universities","ror":null},{"id":"https://openalex.org/F4320336584","display_name":"Dalian Science and Technology Innovation Fund","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W2004921952","https://openalex.org/W2013856010","https://openalex.org/W2092245922","https://openalex.org/W2127992996","https://openalex.org/W2134741696","https://openalex.org/W2166029537","https://openalex.org/W2345908052","https://openalex.org/W2467222092","https://openalex.org/W2809082791","https://openalex.org/W2890086692","https://openalex.org/W2898887908","https://openalex.org/W2905285402","https://openalex.org/W2948008503","https://openalex.org/W2962425620","https://openalex.org/W2999951849","https://openalex.org/W3008410827","https://openalex.org/W3090636587","https://openalex.org/W3172669705","https://openalex.org/W3215483764","https://openalex.org/W4281994867","https://openalex.org/W4312939266","https://openalex.org/W4321484240","https://openalex.org/W4386145090","https://openalex.org/W4386902924","https://openalex.org/W4389572555","https://openalex.org/W4391305812","https://openalex.org/W4391323061","https://openalex.org/W4404650601"],"related_works":[],"abstract_inverted_index":{"FPGA":[0,38,58,101],"interactive":[1,18,22,39,59,102,115,138,148,182],"debugger":[2,139],"tools":[3,41],"assist":[4],"engineers":[5,45],"in":[6,12,57],"quickly":[7],"detecting":[8],"and":[9,28,50,119,137,216],"correcting":[10],"bugs":[11,56,188],"RTL":[13,32,48,97,145,168,195],"designs":[14,49,98,128,146,169,196],"through":[15],"powerful":[16],"built-in":[17],"debugging":[19,23,40,60,103,183],"tools.":[20,104],"The":[21,124],"process":[24],"ensures":[25],"the":[26,80,85,91,110,114,120,151,164,172,175,180,191,198,205,213,217],"accuracy":[27],"development":[29],"efficiency":[30],"of":[31,36,107,131,166,193,229,243,254],"designs.":[33],"Rigorous":[34],"testing":[35,74,122,200,218],"such":[37],"is":[42,79],"crucial,":[43],"as":[44,250],"may":[46],"misinterpret":[47],"introduce":[51],"incorrect":[52],"fixes":[53],"due":[54],"to":[55,63,83,99,142,210,225],"tools,":[61],"leading":[62],"security":[64],"risks.":[65],"In":[66],"this":[67],"study,":[68],"we":[69],"propose":[70],"a":[71],"novel":[72],"differential":[73,121,199],"method":[75],"called":[76],"ID-Hunter,":[77],"which":[78,227,244],"first":[81],"study":[82],"leverage":[84],"mutation":[86,111,116,125,132,153,157,177,208,223],"diversification":[87,158],"search":[88,159],"guided":[89],"via":[90,160],"Multi-Armed":[92],"Bandit":[93],"(MAB)":[94],"for":[95,162,174],"generating":[96],"test":[100],"ID-Hunter":[105,185,203,237],"consists":[106],"three":[108,235],"components:":[109],"rule":[112,126],"component,":[113,118],"optimization":[117,154],"component.":[123,201],"component":[127,155],"two":[129],"types":[130],"rules":[133,178,209,224],"(i.e.,":[134],"program":[135],"transformation":[136],"action":[140],"transformation)":[141],"generate":[143],"equivalent":[144],"during":[147,179],"debugging.":[149],"Then,":[150],"combined":[152],"conducts":[156],"MAB":[161],"guiding":[163],"construction":[165],"effective":[167],"based":[170],"on":[171],"memoization":[173],"explored":[176,222],"on-the-fly":[181],"process.":[184],"then":[186],"detects":[187],"by":[189,197,247],"analyzing":[190],"outputs":[192],"these":[194],"Specifically,":[202],"considers":[204],"diversity":[206],"among":[207],"efficiently":[211],"explore":[212],"input":[214],"space":[215,230],"results":[219],"under":[220],"each":[221],"learn":[226],"portions":[228],"are":[231],"more":[232],"bug-triggering.":[233],"Within":[234],"months,":[236],"reported":[238],"15":[239],"bug":[240],"issues,":[241],"10":[242],"were":[245,256],"confirmed":[246],"Xilinx":[248],"support":[249],"bugs,":[251],"with":[252],"3":[253],"them":[255],"fixed.":[257]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}