{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,4]],"date-time":"2026-07-04T16:39:06Z","timestamp":1783183146558,"version":"3.54.6"},"reference-count":60,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2023,4,1]]},"DOI":"10.1109\/tse.2022.3194640","type":"journal-article","created":{"date-parts":[[2022,7,28]],"date-time":"2022-07-28T19:41:03Z","timestamp":1659037263000},"page":"1842-1859","source":"Crossref","is-referenced-by-count":20,"title":["FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria"],"prefix":"10.1109","volume":"49","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3854-9846","authenticated-orcid":false,"given":"Zhenya","family":"Zhang","sequence":"first","affiliation":[{"name":"Kyushu University, Fukuoka, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3017-7977","authenticated-orcid":false,"given":"Deyun","family":"Lyu","sequence":"additional","affiliation":[{"name":"Kyushu University, Fukuoka, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6253-4062","authenticated-orcid":false,"given":"Paolo","family":"Arcaini","sequence":"additional","affiliation":[{"name":"National Institute of Informatics, Tokyo, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8621-2420","authenticated-orcid":false,"given":"Lei","family":"Ma","sequence":"additional","affiliation":[{"name":"University of Alberta, Edmonton, AB, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8300-4650","authenticated-orcid":false,"given":"Ichiro","family":"Hasuo","sequence":"additional","affiliation":[{"name":"National Institute of Informatics, Tokyo, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jianjun","family":"Zhao","sequence":"additional","affiliation":[{"name":"Kyushu University, Fukuoka, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","article-title":"End to end learning for self-driving cars","author":"Bojarski","year":"2016"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.2514\/1.g003724"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.29007\/9xgv"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.29007\/kfk9"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3358230"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3358228"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53288-8_1"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2858463"},{"key":"ref9","first-page":"372","article-title":"Approximation-refinement testing of compute-intensive cyber-physical models: An approach based on system identification","volume-title":"Proc. IEEE\/ACM 42nd Int. Conf. Softw. Eng.","author":"Menghi"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2020.2969178"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_17"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00013"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3340444"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15297-9_9"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2016.2602089"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19835-9_21"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-17524-9_10"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_24"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2480741.2480752"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1017\/9781316771273"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2962027"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3361566"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238202"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2019.8668044"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238172"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338954"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00108"},{"key":"ref29","first-page":"140","article-title":"ARCH-COMP 2020 category report: Falsification","volume-title":"Proc. 7th Int. Workshop Appl. Verification Continuous Hybrid Syst.","author":"Ernst"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562140"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2020.3013073"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10590-1_53"},{"key":"ref33","article-title":"FalsifAI: Falsification of AI-Enabled hybrid control systems guided by time-aware coverage criteria","author":"Zhang","year":"2022"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985795"},{"key":"ref35","first-page":"133","article-title":"ARCH-COMP 2021 category report: Falsification with validation of results","volume-title":"Proc. 8th Int. Workshop Appl. Verification Continuous Hybrid Syst.","author":"Ernst"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.29007\/23pm"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TCSI.2011.2157780"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1038\/nature14539"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29044-2"},{"key":"ref40","first-page":"237","article-title":"Revisiting the relationship between fault detection, test adequacy criteria, and test set size","volume-title":"Proc. IEEE\/ACM 35th Int. Conf. Autom. Softw. Eng.","author":"Chen"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1994.0025"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/1297846.1297902"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.14"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243804"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180220"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330579"},{"key":"ref47","first-page":"423","article-title":"Marble: Model-based robustness analysis of stateful deep learning systems","volume-title":"Proc. 35th IEEE\/ACM Int. Conf. Autom. Softw. Eng.","author":"Du"},{"key":"ref48","first-page":"1041","article-title":"Cats are not fish: Deep learning testing calls for out-of-distribution awareness","volume-title":"Proc. 35th IEEE\/ACM Int. Conf. Autom. Softw. Eng.","author":"Berend"},{"key":"ref49","first-page":"4901","article-title":"TensorFuzz: Debugging neural networks with coverage-guided fuzzing","volume-title":"Proc. 36th Int. Conf. Mach. Learn.","author":"Odena"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59615-5_13"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22012-8_31"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71070-7_15"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25540-4_23"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-81685-8_29"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-55754-6_24"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311814"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25540-4_25"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-018-09509-5"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/EMSOFT.2015.7318257"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/10103953\/09844247.pdf?arnumber=9844247","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T10:42:31Z","timestamp":1706784151000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9844247\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,4,1]]},"references-count":60,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tse.2022.3194640","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":[[2023,4,1]]}}}