{"id":"https://openalex.org/W4416429606","doi":"https://doi.org/10.1109/iccad66269.2025.11240909","title":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","display_name":"Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation","publication_year":2025,"publication_date":"2025-10-26","ids":{"openalex":"https://openalex.org/W4416429606","doi":"https://doi.org/10.1109/iccad66269.2025.11240909"},"language":null,"primary_location":{"id":"doi:10.1109/iccad66269.2025.11240909","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccad66269.2025.11240909","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE/ACM International Conference On Computer Aided Design (ICCAD)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5091447626","display_name":"Ruiyang Ma","orcid":"https://orcid.org/0009-0003-9067-9538"},"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":"Ruiyang Ma","raw_affiliation_strings":["Peking University,School of Computer Science"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Peking University,School of Computer Science","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029083788","display_name":"Daikang Kuang","orcid":null},"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":"Daikang Kuang","raw_affiliation_strings":["Peking University,School of Computer Science"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Peking University,School of Computer Science","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045462468","display_name":"Ziqian Liu","orcid":null},"institutions":[{"id":"https://openalex.org/I78988378","display_name":"Renmin University of China","ror":"https://ror.org/041pakw92","country_code":"CN","type":"education","lineage":["https://openalex.org/I78988378"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ziqian Liu","raw_affiliation_strings":["Renmin University of China,School of Information"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Renmin University of China,School of Information","institution_ids":["https://openalex.org/I78988378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029153042","display_name":"Jiaxi Zhang","orcid":"https://orcid.org/0000-0001-6177-8690"},"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":"Jiaxi Zhang","raw_affiliation_strings":["Peking University,School of Computer Science"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Peking University,School of Computer Science","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079618175","display_name":"Fan Ping","orcid":"https://orcid.org/0000-0001-8933-6376"},"institutions":[{"id":"https://openalex.org/I4210158001","display_name":"Incept (United States)","ror":"https://ror.org/05fj65g09","country_code":"US","type":"company","lineage":["https://openalex.org/I4210158001"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ping Fan","raw_affiliation_strings":["Deepoly Technology Inc"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Deepoly Technology Inc","institution_ids":["https://openalex.org/I4210158001"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5023468643","display_name":"Guojie Luo","orcid":"https://orcid.org/0000-0003-4932-3655"},"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":"Guojie Luo","raw_affiliation_strings":["Peking University,School of Computer Science"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Peking University,School of Computer Science","institution_ids":["https://openalex.org/I20231570"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"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.40493125,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"9"},"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.9330000281333923,"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.9330000281333923,"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/T10142","display_name":"Formal Methods in Verification","score":0.017500000074505806,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.010999999940395355,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.8974000215530396},{"id":"https://openalex.org/keywords/witness","display_name":"Witness","score":0.531499981880188},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.5210000276565552},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.48649999499320984},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.47859999537467957},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.4311999976634979},{"id":"https://openalex.org/keywords/automatic-test-pattern-generation","display_name":"Automatic test pattern generation","score":0.4307999908924103},{"id":"https://openalex.org/keywords/algorithmic-program-debugging","display_name":"Algorithmic program debugging","score":0.4237000048160553}],"concepts":[{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.8974000215530396},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7275000214576721},{"id":"https://openalex.org/C2776900844","wikidata":"https://www.wikidata.org/wiki/Q8028383","display_name":"Witness","level":2,"score":0.531499981880188},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.5210000276565552},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5081999897956848},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.48660001158714294},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.48649999499320984},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.47859999537467957},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.4311999976634979},{"id":"https://openalex.org/C17626397","wikidata":"https://www.wikidata.org/wiki/Q837455","display_name":"Automatic test pattern generation","level":3,"score":0.4307999908924103},{"id":"https://openalex.org/C136388014","wikidata":"https://www.wikidata.org/wiki/Q17084976","display_name":"Algorithmic program debugging","level":3,"score":0.4237000048160553},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4212000072002411},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.3856000006198883},{"id":"https://openalex.org/C141842801","wikidata":"https://www.wikidata.org/wiki/Q363815","display_name":"Automatic test equipment","level":3,"score":0.3402000069618225},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3377000093460083},{"id":"https://openalex.org/C169903167","wikidata":"https://www.wikidata.org/wiki/Q3985153","display_name":"Test set","level":2,"score":0.3158000111579895},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29910001158714294},{"id":"https://openalex.org/C151552104","wikidata":"https://www.wikidata.org/wiki/Q7705809","display_name":"Test suite","level":4,"score":0.2930999994277954},{"id":"https://openalex.org/C91071405","wikidata":"https://www.wikidata.org/wiki/Q1413145","display_name":"Program slicing","level":3,"score":0.28870001435279846},{"id":"https://openalex.org/C109852812","wikidata":"https://www.wikidata.org/wiki/Q2406355","display_name":"Test harness","level":5,"score":0.28529998660087585},{"id":"https://openalex.org/C190874656","wikidata":"https://www.wikidata.org/wiki/Q5264347","display_name":"Design for testing","level":3,"score":0.2849000096321106},{"id":"https://openalex.org/C76249512","wikidata":"https://www.wikidata.org/wiki/Q1206780","display_name":"Device under test","level":3,"score":0.26510000228881836},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.25220000743865967}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iccad66269.2025.11240909","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccad66269.2025.11240909","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE/ACM International Conference On Computer Aided Design (ICCAD)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W1950030762","https://openalex.org/W1990785546","https://openalex.org/W2037313416","https://openalex.org/W2101819268","https://openalex.org/W2110706065","https://openalex.org/W2128049346","https://openalex.org/W2158302200","https://openalex.org/W2169384417","https://openalex.org/W2343875716","https://openalex.org/W2745235995","https://openalex.org/W2798776451","https://openalex.org/W2899727632","https://openalex.org/W2964039708","https://openalex.org/W2968370566","https://openalex.org/W3013403707","https://openalex.org/W3092431517","https://openalex.org/W3145163650","https://openalex.org/W3154674654","https://openalex.org/W3213773220","https://openalex.org/W4205250223","https://openalex.org/W4213151038","https://openalex.org/W4214519628","https://openalex.org/W4240592325","https://openalex.org/W4313116445","https://openalex.org/W4379116022","https://openalex.org/W4389610361","https://openalex.org/W4395001508","https://openalex.org/W4395114936","https://openalex.org/W4400587308","https://openalex.org/W4400727493","https://openalex.org/W4401568167","https://openalex.org/W4403024143","https://openalex.org/W4404134046","https://openalex.org/W4407692050","https://openalex.org/W4410810588","https://openalex.org/W4411713407"],"related_works":[],"abstract_inverted_index":{"Debugging":[0],"hardware":[1,8,19,37,81,101,128,206,220,260],"designs":[2,47],"requires":[3],"significant":[4],"manual":[5],"effort":[6],"during":[7],"development.":[9],"After":[10],"engineers":[11],"identify":[12],"a":[13,66,106,113,190],"bug-triggering":[14,68,123],"test":[15,69,107,118,124,132,157,186,196],"case":[16,70,125],"in":[17,95,144],"simulation-based":[18],"verification,":[20],"they":[21,41],"usually":[22],"spend":[23],"considerable":[24],"time":[25],"analyzing":[26,79,149],"the":[27,32,63,86,100,121,136,142,145,150,170,176,181,263],"execution":[28,151],"trace":[29],"to":[30,45,111,126,135,193],"localize":[31,169,229],"bug.":[33],"Although":[34],"numerous":[35],"automated":[36,205],"debugging":[38],"techniques":[39,60],"exist,":[40],"are":[42],"not":[43,140],"applicable":[44],"large":[46],"and":[48,83,155,168,188],"deep":[49],"bugs.":[50,90],"A":[51],"primary":[52],"reason":[53],"for":[54,71,183],"their":[55],"limitations":[56],"is":[57],"that":[58,138,226],"these":[59],"only":[61],"utilize":[62],"information":[64],"of":[65,89,115,266],"single":[67],"bug":[72,102,129,143,207,246],"localization,":[73],"which":[74],"prevents":[75],"them":[76],"from":[77,218,258],"effectively":[78,228],"intricate":[80],"systems":[82],"figure":[84],"out":[85],"root":[87],"cause":[88],"To":[91,173],"solve":[92],"this":[93,96,200],"problem,":[94,109],"paper,":[97],"we":[98,162,179,202,250],"transform":[99],"localization":[103,208,247],"problem":[104],"into":[105],"generation":[108],"aiming":[110],"find":[112],"set":[114],"effective":[116,184],"witness":[117,185],"cases":[119,133,137,158,187],"beyond":[120],"initial":[122],"enhance":[127],"localization.":[130],"Witness":[131],"refer":[134],"do":[139],"trigger":[141],"faulty":[146],"design.":[147],"By":[148],"differences":[152],"between":[153],"passing":[154],"failing":[156],"with":[159],"spectrum-based":[160],"method,":[161],"can":[163],"eliminate":[164],"innocent":[165],"design":[166],"statements":[167],"buggy":[171],"ones.":[172],"further":[174],"refine":[175],"suspicious":[177],"area,":[178],"define":[180],"criteria":[182],"use":[189],"mutation-based":[191],"strategy":[192],"generate":[194],"such":[195],"cases.":[197],"Based":[198],"on":[199,215,253],"approach,":[201],"propose":[203],"an":[204],"framework":[209],"named":[210],"Wit-HW.":[211],"We":[212],"evaluate":[213,251],"Wit-HW":[214,252],"41":[216],"bugs":[217,235,256],"various":[219],"designs.":[221],"The":[222],"experimental":[223],"results":[224],"show":[225],"Wit-":[227],"49%":[230],"/":[231,233,238,240],"73%":[232],"88%":[234],"within":[236],"Top-1":[237],"Top-5":[239],"Top-10":[241],"ranks,":[242],"significantly":[243],"outperforming":[244],"state-of-the-art":[245],"techniques.":[248],"Additionally,":[249],"13":[254],"real-world":[255],"collected":[257],"open-source":[259],"projects,":[261],"showcasing":[262],"robust":[264],"performance":[265],"our":[267],"method.":[268]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-11-20T00:00:00"}