{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:56:44Z","timestamp":1759334204266,"version":"build-2065373602"},"reference-count":34,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,7,16]],"date-time":"2025-07-16T00:00:00Z","timestamp":1752624000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,7,16]],"date-time":"2025-07-16T00:00:00Z","timestamp":1752624000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"publisher","award":["DUT25LAB121"],"award-info":[{"award-number":["DUT25LAB121"]}],"id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62202079"],"award-info":[{"award-number":["62202079"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,7,16]]},"DOI":"10.1109\/qrs65678.2025.00055","type":"proceedings-article","created":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T17:51:28Z","timestamp":1759168288000},"page":"485-496","source":"Crossref","is-referenced-by-count":0,"title":["PCBFen: Bug Detection in PCB Design Tool Chain Through Functionally Equivalent Netlist Mutation"],"prefix":"10.1109","author":[{"given":"Xu","family":"Zhao","sequence":"first","affiliation":[{"name":"School of Computer Science and Technology, Beijing Institute of Technology,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaochen","family":"Li","sequence":"additional","affiliation":[{"name":"School of Software, Dalian University of Technology,Dalian,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peiyu","family":"Zou","sequence":"additional","affiliation":[{"name":"School of Software, Dalian University of Technology,Dalian,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lukai","family":"Liu","sequence":"additional","affiliation":[{"name":"School of Software, Dalian University of Technology,Dalian,China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jenvman.2013.10.003"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TIM.2024.3450918"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2025.3529303"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TIM.2024.3351241"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3701232"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/QRS62785.2024.00015"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3058671"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2024.3503723"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3705302"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3714466"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3540250.3549159"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594334"},{"volume-title":"Spice file format","year":"2025","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.3390\/bios10110159"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1002\/047172310x"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s10798-024-09890-w"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/VizSec60606.2023.00008"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3626184.3635285"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3586183.3606745"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.15199\/48.2021.03.18"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2023.3243544"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.5194\/ars-22-61-2024"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/MLCAD55463.2022.9900093"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/EPEPS61853.2024.10754479"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.3390\/sym15061272"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4842-6852-0_5"},{"volume-title":"Schematic file format","year":"2025","key":"ref27"},{"volume-title":"S-expressions","year":"2025","key":"ref28"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijheatmasstransfer.2021.122263"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TPEL.2023.3241654"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.desal.2024.117557"},{"journal-title":"Sourcecodeofpcbfen","year":"2025","key":"ref32"},{"key":"ref33","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1145\/3377811.3380381","article-title":"Slemi: Equivalence modulo input (emi) based mutation of cps models for finding compiler bugs in simulink","volume-title":"Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering","author":"Chowdhury","year":"2020"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/3705730"}],"event":{"name":"2025 25th International Conference on Software Quality, Reliability and Security (QRS)","start":{"date-parts":[[2025,7,16]]},"location":"Hangzhou, China","end":{"date-parts":[[2025,7,20]]}},"container-title":["2025 25th International Conference on Software Quality, Reliability and Security (QRS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11173421\/11173424\/11173488.pdf?arnumber=11173488","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,30]],"date-time":"2025-09-30T14:00:17Z","timestamp":1759240817000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11173488\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,16]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/qrs65678.2025.00055","relation":{},"subject":[],"published":{"date-parts":[[2025,7,16]]}}}