{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,16]],"date-time":"2026-06-16T19:59:36Z","timestamp":1781639976621,"version":"3.54.5"},"reference-count":73,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"Key Research and Development Project of Liaoning Province","award":["2024JH2\/102400059"],"award-info":[{"award-number":["2024JH2\/102400059"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62572090"],"award-info":[{"award-number":["62572090"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62532012"],"award-info":[{"award-number":["62532012"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62432010"],"award-info":[{"award-number":["62432010"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62132020"],"award-info":[{"award-number":["62132020"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"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"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2026,6]]},"DOI":"10.1109\/tse.2026.3687867","type":"journal-article","created":{"date-parts":[[2026,4,27]],"date-time":"2026-04-27T19:49:25Z","timestamp":1777319365000},"page":"1805-1822","source":"Crossref","is-referenced-by-count":0,"title":["NSGen: A Template-Based Framework to Find Bugs in Computer-Aided Engineering Tools"],"prefix":"10.1109","volume":"52","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5068-1938","authenticated-orcid":false,"given":"Xiaochen","family":"Li","sequence":"first","affiliation":[{"name":"School of Software, Dalian University of Technology, Dalian, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2786-1807","authenticated-orcid":false,"given":"Peiyu","family":"Zou","sequence":"additional","affiliation":[{"name":"School of Computer Science and Artificial Intelligence, Liaoning Normal University, Dalian, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-8881-5017","authenticated-orcid":false,"given":"Hao","family":"Liu","sequence":"additional","affiliation":[{"name":"School of Software, Dalian University of Technology, Dalian, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8554-6365","authenticated-orcid":false,"given":"Shikai","family":"Guo","sequence":"additional","affiliation":[{"name":"School of Information Science and Technology, Dalian Maritime University, Dalian, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1511-2158","authenticated-orcid":false,"given":"Zhilei","family":"Ren","sequence":"additional","affiliation":[{"name":"School of Software, Dalian University of Technology, Dalian, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8674-4948","authenticated-orcid":false,"given":"He","family":"Jiang","sequence":"additional","affiliation":[{"name":"School of Software, Dalian University of Technology, Dalian, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ast.2021.107223"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jweia.2019.05.005"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1155\/2020\/4187074"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3397382"},{"key":"ref5","article-title":"Fire dynamics simulator and smokeview","year":"2024"},{"key":"ref6","article-title":"Official openfoam repository","year":"2024"},{"key":"ref7","volume-title":"Chinese scientists question \u2018flaw\u2019 in Nasa\u2019s hypersonic aerodynamics software, Media Library","year":"2024"},{"key":"ref8","article-title":"Chinese national numerical wind tunnel engineering CFD V&V database","year":"2020"},{"key":"ref9","article-title":"Turbulence modeling resource","year":"2024"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1088\/1757-899X\/78\/1\/012039"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-95871-2"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1090\/chel\/343"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ASE56229.2023.00120"},{"key":"ref14","first-page":"245","article-title":"We don\u2019t need another hero? The impact of \u2018heroes\u2019 on software development","volume-title":"Proc. 40th Int. Conf. Softw. Eng.: Softw. Eng. Pract.","author":"Agrawal","year":"2018"},{"key":"ref15","author":"Greenshields","year":"2022","journal-title":"Notes on computational fluid dynamics: General principles"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.buildenv.2006.11.001"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3119186"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00037"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/DAC56929.2023.10247877"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3728942"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/S0376-0421(02)00005-2"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3731448"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3058671"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2372785"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3523056"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2014.05.006"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.2002.1045022"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/MCSE.2018.2875368"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.5194\/gmd-4-435-2011"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1080\/0952813X.2012.695443"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/3373087.3375310"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180231"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/1883612.1883618"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ICPC66645.2025.00039"},{"key":"ref36","volume-title":"Inspection Procedures for Critical Programs That Model Physical Phenomena.","author":"Kreyman","year":"1999"},{"key":"ref37","first-page":"30","article-title":"The challenge of testing scientific software","volume-title":"Proc. 3rd Annu. Conf. Assoc. Softw. Testing (CAST)","author":"Kelly","year":"2008"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/2345156.2254118"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192411"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386004"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3468585"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/3563353"},{"key":"ref43","first-page":"47","article-title":"VERROU: A CESTAC evaluation without recompilation","author":"F\u00e9votte","year":"2016","journal-title":"Proc. SCAN"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/2555243.2555265"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.70"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2017.7"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/3290369"},{"key":"ref48","doi-asserted-by":"crossref","first-page":"1261","DOI":"10.1145\/3377811.3380359","article-title":"Efficient generation of error-inducing floating-point inputs via symbolic execution","volume-title":"Proc. ACM\/IEEE 42nd Int. Conf. Softw. Eng.","author":"Guo","year":"2020"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/3689764"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/3508035"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534220"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.2514\/6.2019-2331"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1016\/j.energy.2019.07.091"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2024.3492380"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1016\/j.jocs.2010.12.002"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2010.88"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69389-5_34"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2946563"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35413-2_16"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1007\/11836810_25"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1145\/1326304.1326313"},{"key":"ref62","article-title":"Perf Fuzzer: Targeted fuzzing of the perf event open () system call","author":"Weaver","year":"2015","journal-title":"Proc. UMaine VMW Group, TechRep."},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2019.23412"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1145\/3765760"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132785"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2976718"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-023-00394-w"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3404366"},{"key":"ref69","volume-title":"\u201cVlogHammer \u2013 A verilog synthesis regression test,\u201d","author":"Wolf","year":"2014"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.23919\/DATE56975.2023.10137086"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1145\/3643681"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD57390.2023.10323812"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1109\/LAD62341.2024.10691738"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/32\/11563955\/11494977.pdf?arnumber=11494977","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,16]],"date-time":"2026-06-16T19:43:46Z","timestamp":1781639026000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11494977\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6]]},"references-count":73,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tse.2026.3687867","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"},{"value":"2326-3881","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,6]]}}}