{"id":"https://openalex.org/W4414604543","doi":"https://doi.org/10.1109/qrs65678.2025.00055","title":"PCBFen: Bug Detection in PCB Design Tool Chain Through Functionally Equivalent Netlist Mutation","display_name":"PCBFen: Bug Detection in PCB Design Tool Chain Through Functionally Equivalent Netlist Mutation","publication_year":2025,"publication_date":"2025-07-16","ids":{"openalex":"https://openalex.org/W4414604543","doi":"https://doi.org/10.1109/qrs65678.2025.00055"},"language":"en","primary_location":{"id":"doi:10.1109/qrs65678.2025.00055","is_oa":false,"landing_page_url":"https://doi.org/10.1109/qrs65678.2025.00055","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 25th International Conference on Software Quality, Reliability and Security (QRS)","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/A5100407007","display_name":"Xu Zhao","orcid":"https://orcid.org/0000-0002-5779-9074"},"institutions":[{"id":"https://openalex.org/I125839683","display_name":"Beijing Institute of Technology","ror":"https://ror.org/01skt4w74","country_code":"CN","type":"education","lineage":["https://openalex.org/I125839683","https://openalex.org/I890469752"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xu Zhao","raw_affiliation_strings":["School of Computer Science and Technology, Beijing Institute of Technology,Beijing,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, Beijing Institute of Technology,Beijing,China","institution_ids":["https://openalex.org/I125839683"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100328758","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":["School of Software, Dalian University of Technology,Dalian,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Software, Dalian University of Technology,Dalian,China","institution_ids":["https://openalex.org/I27357992"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114223200","display_name":"Peiyu Zou","orcid":null},"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":"Peiyu Zou","raw_affiliation_strings":["School of Software, Dalian University of Technology,Dalian,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Software, Dalian University of Technology,Dalian,China","institution_ids":["https://openalex.org/I27357992"]}]},{"author_position":"last","author":{"id":null,"display_name":"Lukai Liu","orcid":null},"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":"Lukai Liu","raw_affiliation_strings":["School of Software, Dalian University of Technology,Dalian,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Software, Dalian University of Technology,Dalian,China","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":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"485","last_page":"496"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9904999732971191,"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"}},"topics":[{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9904999732971191,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9697999954223633,"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/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.9621000289916992,"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/netlist","display_name":"Netlist","score":0.9462000131607056},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.5418999791145325},{"id":"https://openalex.org/keywords/circuit-design","display_name":"Circuit design","score":0.4821999967098236},{"id":"https://openalex.org/keywords/mutation","display_name":"Mutation","score":0.450300008058548},{"id":"https://openalex.org/keywords/design-tool","display_name":"Design tool","score":0.44359999895095825},{"id":"https://openalex.org/keywords/printed-circuit-board","display_name":"Printed circuit board","score":0.43470001220703125},{"id":"https://openalex.org/keywords/circuit-extraction","display_name":"Circuit extraction","score":0.35370001196861267}],"concepts":[{"id":"https://openalex.org/C177650935","wikidata":"https://www.wikidata.org/wiki/Q1760303","display_name":"Netlist","level":2,"score":0.9462000131607056},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5533999800682068},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.5418999791145325},{"id":"https://openalex.org/C190560348","wikidata":"https://www.wikidata.org/wiki/Q3245116","display_name":"Circuit design","level":2,"score":0.4821999967098236},{"id":"https://openalex.org/C501734568","wikidata":"https://www.wikidata.org/wiki/Q42918","display_name":"Mutation","level":3,"score":0.450300008058548},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.4447999894618988},{"id":"https://openalex.org/C2777466363","wikidata":"https://www.wikidata.org/wiki/Q17008971","display_name":"Design tool","level":2,"score":0.44359999895095825},{"id":"https://openalex.org/C120793396","wikidata":"https://www.wikidata.org/wiki/Q173350","display_name":"Printed circuit board","level":2,"score":0.43470001220703125},{"id":"https://openalex.org/C26490066","wikidata":"https://www.wikidata.org/wiki/Q17006835","display_name":"Circuit extraction","level":4,"score":0.35370001196861267},{"id":"https://openalex.org/C188817802","wikidata":"https://www.wikidata.org/wiki/Q13426855","display_name":"Physical design","level":3,"score":0.3125},{"id":"https://openalex.org/C199185054","wikidata":"https://www.wikidata.org/wiki/Q552299","display_name":"Chain (unit)","level":2,"score":0.31060001254081726},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3012000024318695},{"id":"https://openalex.org/C188985296","wikidata":"https://www.wikidata.org/wiki/Q868954","display_name":"Page layout","level":2,"score":0.2939000129699707},{"id":"https://openalex.org/C64260653","wikidata":"https://www.wikidata.org/wiki/Q1194864","display_name":"Electronic design automation","level":2,"score":0.2815000116825104},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.27950000762939453},{"id":"https://openalex.org/C2778309119","wikidata":"https://www.wikidata.org/wiki/Q5121614","display_name":"Circuit reliability","level":4,"score":0.2777000069618225},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.25189998745918274}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/qrs65678.2025.00055","is_oa":false,"landing_page_url":"https://doi.org/10.1109/qrs65678.2025.00055","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 25th International Conference on Software Quality, Reliability and Security (QRS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3613658478","display_name":null,"funder_award_id":"DUT25LAB121","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"},{"id":"https://openalex.org/G6007899901","display_name":null,"funder_award_id":"62202079","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"},{"id":"https://openalex.org/F4320335787","display_name":"Fundamental Research Funds for the Central Universities","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W2156964391","https://openalex.org/W2997653900","https://openalex.org/W3090636587","https://openalex.org/W3094947613","https://openalex.org/W3130011944","https://openalex.org/W3135810367","https://openalex.org/W3217315228","https://openalex.org/W4210372766","https://openalex.org/W4233880103","https://openalex.org/W4297990032","https://openalex.org/W4308644054","https://openalex.org/W4318953204","https://openalex.org/W4319878652","https://openalex.org/W4380987008","https://openalex.org/W4387835389","https://openalex.org/W4390659789","https://openalex.org/W4391761541","https://openalex.org/W4392682296","https://openalex.org/W4392983360","https://openalex.org/W4399138071","https://openalex.org/W4401943627","https://openalex.org/W4402897135","https://openalex.org/W4403790227","https://openalex.org/W4404563770","https://openalex.org/W4404584824","https://openalex.org/W4404609305","https://openalex.org/W4404650601","https://openalex.org/W4404864189","https://openalex.org/W4406698715","https://openalex.org/W4407129148"],"related_works":[],"abstract_inverted_index":{"In":[0,136],"modern":[1],"electronics,":[2],"printed":[3],"circuit":[4,59,72,75],"board":[5],"(PCB)":[6],"design":[7,105,163],"tool":[8,106,164],"chain":[9,107],"is":[10,155],"crucial":[11],"for":[12,54],"product":[13],"development":[14],"but":[15],"may":[16],"harbor":[17],"hidden":[18],"bugs.":[19],"These":[20],"bugs":[21,88,160],"can":[22,89],"cause":[23],"simulation":[24,94,145],"inconsistencies":[25,146],"and":[26,62,82,110,127,147,166],"performance":[27,148],"issues":[28,132],"that":[29,45,115,153],"risk":[30],"flawed":[31],"designs":[32,58],"in":[33,157,161,171],"critical":[34,159],"applications.":[35],"To":[36],"address":[37],"this,":[38],"we":[39],"propose":[40],"PCBFen,":[41],"a":[42,71,168],"novel":[43],"approach":[44],"employs":[46],"functionally":[47],"equivalent":[48],"mutation":[49],"strategies":[50],"to":[51,66,120],"generate":[52],"netlists":[53,81,118],"bug":[55],"detection.":[56],"PCBFen":[57,116,139,154],"topology":[60],"mutations":[61,65],"conditional":[63],"control":[64],"modify":[67],"netlist":[68],"files":[69],"of":[70,133,175],"without":[73],"changing":[74],"functionality.":[76],"By":[77],"simulating":[78],"the":[79,134,173],"mutated":[80],"their":[83,93],"corresponding":[84],"seed":[85],"netlists,":[86],"potential":[87,131],"be":[90],"identified,":[91],"if":[92],"results":[95,113],"are":[96],"inconsistent.":[97],"We":[98],"conducted":[99],"extensive":[100],"experiments":[101],"on":[102],"typical":[103],"PCB":[104,162],"(including":[108],"KiCad":[109],"Ngspice).":[111],"The":[112],"show":[114],"generates":[117],"up":[119],"five":[121],"times":[122],"faster":[123],"than":[124],"existing":[125],"methods,":[126],"detects":[128],"significantly":[129],"more":[130],"tools.":[135,178],"our":[137],"tests,":[138],"identified":[140],"12":[141],"bugs,":[142],"including":[143],"both":[144],"issues.":[149],"Our":[150],"findings":[151],"suggest":[152],"effective":[156],"uncovering":[158],"chain,":[165],"represents":[167],"promising":[169],"advancement":[170],"ensuring":[172],"reliability":[174],"these":[176],"essential":[177]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}