{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,19]],"date-time":"2025-12-19T08:18:53Z","timestamp":1766132333195,"version":"3.48.0"},"reference-count":61,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"12","license":[{"start":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T00:00:00Z","timestamp":1764547200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T00:00:00Z","timestamp":1764547200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T00:00:00Z","timestamp":1764547200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62272225"],"award-info":[{"award-number":["62272225"]}],"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":["62072235"],"award-info":[{"award-number":["62072235"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2025,12]]},"DOI":"10.1109\/tse.2025.3618552","type":"journal-article","created":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T17:37:45Z","timestamp":1759945065000},"page":"3486-3506","source":"Crossref","is-referenced-by-count":0,"title":["CEDAR: Silent Control Flow Error Detection via Heterogeneous Relation Learning"],"prefix":"10.1109","volume":"51","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-2596-8419","authenticated-orcid":false,"given":"Yang","family":"Liu","sequence":"first","affiliation":[{"name":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3989-1520","authenticated-orcid":false,"given":"Jingjing","family":"Gu","sequence":"additional","affiliation":[{"name":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8437-6640","authenticated-orcid":false,"given":"Jingxuan","family":"Zhang","sequence":"additional","affiliation":[{"name":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-4750-6516","authenticated-orcid":false,"given":"Bao","family":"Wen","sequence":"additional","affiliation":[{"name":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0706-0148","authenticated-orcid":false,"given":"Yi","family":"Zhuang","sequence":"additional","affiliation":[{"name":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"NASA Software Safety Guidebook.","year":"2004","key":"ref1"},{"journal-title":"Product Development At The Software Level","article-title":"International Organization for Standardization","year":"2018","key":"ref2"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.iot.2020.100260"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2024.3382361"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.3390\/aerospace10090788"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/SC41404.2022.00022"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.microrel.2021.114331"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.3390\/electronics10243160"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TNS.2025.3530568"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/OLT.2003.1214380"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2465554.2465568"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/EUC.2008.44"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2018.2793098"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3301311"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2017.2754548"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2023.3245842"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.microrel.2023.115070"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2013.2248373"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2023.3286586"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS.2015.7229854"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/IRPS.2015.7112710"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/24.994926"},{"issue":"6","key":"ref23","first-page":"814","article-title":"An improved control flow checking algorithm based on CFCSS","volume":"32","author":"Li","year":"2011","journal-title":"J. Harbin Eng. Univ."},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.3390\/electronics8020166"},{"issue":"11","key":"ref25","article-title":"A control flow checking method based on abstract basic block and formatted signature","volume":"37","author":"Li","year":"2014","journal-title":"Chin. J. Comput."},{"issue":"6","key":"ref26","first-page":"37","article-title":"Control flow error detection algorithm based on structural tag","volume":"42","author":"Zhang","year":"2016","journal-title":"Computer Eng."},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.ast.2006.06.006"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/3663672"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99130-6_15"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.23919\/DATE51398.2021.9473917"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TNS.2015.2484842"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2023.3294795"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ICSRS53853.2021.9660636"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/3519941.3535070"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2018.2877612"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/3436877"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2892102"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1016\/j.asej.2021.06.024"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.124"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2593195"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/3366423.3380027"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250746"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/3581784.3607078"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2016.24"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1017\/cbo9780511807077"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/QRS.2015.13"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2905842"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-85928-2_28"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510219"},{"key":"ref51","first-page":"2244","article-title":"ProGraML: A graph-based program representation for data flow analysis and compiler optimizations","volume-title":"Proc. 38th Int. Conf. Mach. Learn. (PMLR)","author":"Cummins","year":"2021"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2010.5609542"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/WWC.2001.990739"},{"article-title":"Siemens programs, HR variants","year":"2010","author":"Harrold","key":"ref54"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2024.3479284"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2020.3009212"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/CGO57630.2024.10444844"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/3372799.3394360"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2012.59078"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v33i01.33014039"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1145\/3126503"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/32\/11298241\/11197048.pdf?arnumber=11197048","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,19]],"date-time":"2025-12-19T08:14:29Z","timestamp":1766132069000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11197048\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12]]},"references-count":61,"journal-issue":{"issue":"12"},"URL":"https:\/\/doi.org\/10.1109\/tse.2025.3618552","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"type":"print","value":"0098-5589"},{"type":"electronic","value":"1939-3520"},{"type":"electronic","value":"2326-3881"}],"subject":[],"published":{"date-parts":[[2025,12]]}}}