{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,12]],"date-time":"2026-10-12T00:28:13Z","timestamp":1791764893477,"version":"4.3.4"},"reference-count":68,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"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":"crossref","award":["62402116"],"award-info":[{"award-number":["62402116"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Shanghai Pilot Program for Basic Research\u2014Fudan University","award":["21TQ1400100"],"award-info":[{"award-number":["21TQ1400100"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans.Inform.Forensic Secur."],"published-print":{"date-parts":[[2026]]},"DOI":"10.1109\/tifs.2026.3723190","type":"journal-article","created":{"date-parts":[[2026,8,12]],"date-time":"2026-08-12T19:07:38Z","timestamp":1786561658000},"page":"7992-8007","source":"Crossref","is-referenced-by-count":1,"title":["Facilitating Logical Flaw Detection for Autonomous Driving Systems Through LLM-Empowered Oracle Generation"],"prefix":"10.1109","volume":"21","author":[{"ORCID":"https:\/\/orcid.org\/0009-0007-3443-6418","authenticated-orcid":false,"given":"Zongan","family":"Huang","sequence":"first","affiliation":[{"name":"Fudan University","place":["Shanghai, China"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-5636-7808","authenticated-orcid":false,"given":"Jiarun","family":"Dai","sequence":"additional","affiliation":[{"name":"Fudan University","place":["Shanghai, China"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-3004-7186","authenticated-orcid":false,"given":"Jiaqi","family":"Luo","sequence":"additional","affiliation":[{"name":"Fudan University","place":["Shanghai, China"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-3820-0307","authenticated-orcid":false,"given":"Qifan","family":"Xiao","sequence":"additional","affiliation":[{"name":"Fudan University","place":["Shanghai, China"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-7170-3930","authenticated-orcid":false,"given":"Songyang","family":"Peng","sequence":"additional","affiliation":[{"name":"Fudan University","place":["Shanghai, China"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1394-0395","authenticated-orcid":false,"given":"Xudong","family":"Pan","sequence":"additional","affiliation":[{"name":"Fudan University","place":["Shanghai, China"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0726-9996","authenticated-orcid":false,"given":"Yuan","family":"Zhang","sequence":"additional","affiliation":[{"name":"Fudan University","place":["Shanghai, China"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9714-5545","authenticated-orcid":false,"given":"Min","family":"Yang","sequence":"additional","affiliation":[{"name":"Fudan University","place":["Shanghai, China"]}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"General Motors","year":"2024"},{"key":"ref2","volume-title":"Apollo: An Open Autonomous Driving Platform","year":"2025"},{"key":"ref3","volume-title":"Waymo","year":"2024"},{"key":"ref4","volume-title":"Autonomous Vehicle Collision Reports","year":"2024"},{"key":"ref5","first-page":"2957","article-title":"Discovering adversarial driving maneuvers against autonomous vehicles","volume-title":"Proc. USENIX Secur.","author":"Song"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/SP46215.2023.10179458"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2022.24177"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00076"},{"key":"ref9","first-page":"1957","article-title":"Rolling colors: Adversarial laser exploits against traffic light recognition","volume-title":"Proc. USENIX Secur.","author":"Yan"},{"key":"ref10","first-page":"2993","article-title":"You can\u2019t see me: Physical removal attacks on LiDAR-based autonomous vehicles driving frameworks","volume-title":"Proc. USENIX Secur.","author":"Cao"},{"key":"ref11","first-page":"385","article-title":"A comprehensive study of autonomous vehicle bugs","volume-title":"Proc. ACM\/IEEE 42nd Int. Conf. Softw. Eng.","author":"Garcia"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE5003.2020.00012"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/tse.2022.3195640"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598072"},{"key":"ref15","first-page":"877","article-title":"Towards robust LiDAR-based perception in autonomous driving: General black-box adversarial sensor attack and countermeasures","volume-title":"Proc. USENIX Secur.","author":"Sun"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2025.230628"},{"key":"ref17","first-page":"931","article-title":"Drift with devil: Security of multi-sensor fusion based localization in high-level autonomous driving under GPS spoofing","volume-title":"Proc. USENIX Secur.","author":"Shen"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2024.3422920"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3548606.3560558"},{"key":"ref20","first-page":"1","article-title":"CARLA: An open urban driving simulator","volume-title":"Proc. CoRL","author":"Dosovitskiy"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC45102.2020.9294422"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3556897"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598108"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3650212.3680325"},{"key":"ref25","first-page":"1398","article-title":"On learning meaningful assert statements for unit test cases","volume-title":"Proc. IEEE\/ACM 42nd Int. Conf. Softw. Eng. (ICSE)","author":"Watson"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510141"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2024.3519159"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598114"},{"key":"ref29","volume-title":"Regulations for the Implementation of the Road Traffic Safety Law of the People\u2019s Republic of China","year":"2024"},{"key":"ref30","volume-title":"New York State Driver\u2019s Manual & Practice Tests","year":"2024"},{"key":"ref31","volume-title":"California Driving Handbook","year":"2024"},{"key":"ref32","volume-title":"What Every Driver Must Know","year":"2024"},{"key":"ref33","article-title":"CodeGen2: Lessons for training LLMs on programming and natural languages","volume-title":"Proc. ICLR","author":"Nijkamp"},{"key":"ref34","article-title":"Automatic lane change scenario extraction and generation of scenarios in OpenX format from real-world data","author":"Karunakaran","year":"2022","journal-title":"arXiv:2203.07521"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-Companion.2019.00031"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.5220\/0011838800003479"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3623350"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00216"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/3626772.3657945"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/3703155"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.52202\/068431-1800"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v38i19.30185"},{"key":"ref43","volume-title":"OpenStreet Map.","year":"2025"},{"key":"ref44","volume-title":"OpenDrive Map.","year":"2025"},{"key":"ref45","volume-title":"Autoware","year":"2025"},{"key":"ref46","volume-title":"Visual Scenario Editor for LGSVL","year":"2024"},{"key":"ref47","volume-title":"Py_Compile\u2014Compile Python Source Files","year":"2024"},{"key":"ref48","volume-title":"Shapely","year":"2025"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v37i12.26718"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/3580490"},{"key":"ref51","first-page":"36593","article-title":"Enforcing hard constraints with soft barriers: Safe reinforcement learning in unknown stochastic environments","volume-title":"Proc. PMLR","author":"Wang"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v37i10.26407"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.52202\/068431-0703"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v36i7.20695"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238187"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2024.3370740"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.106"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931061"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213872"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2021.111041"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409716"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1145\/3524481.3527220"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1145\/3715107"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1145\/3699598"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1145\/2002951.2002955"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180199"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510120"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3120680"}],"container-title":["IEEE Transactions on Information Forensics and Security"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10206\/11313711\/11653414.pdf?arnumber=11653414","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,9,2]],"date-time":"2026-09-02T04:54:39Z","timestamp":1788324879000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11653414\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"references-count":68,"URL":"https:\/\/doi.org\/10.1109\/tifs.2026.3723190","relation":{},"ISSN":["1556-6013","1556-6021"],"issn-type":[{"value":"1556-6013","type":"print"},{"value":"1556-6021","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]}}}