{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T04:49:41Z","timestamp":1779079781896,"version":"3.51.4"},"reference-count":23,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,8,26]],"date-time":"2023-08-26T00:00:00Z","timestamp":1693008000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,8,26]],"date-time":"2023-08-26T00:00:00Z","timestamp":1693008000000},"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":[],"published-print":{"date-parts":[[2023,8,26]]},"DOI":"10.1109\/case56687.2023.10260576","type":"proceedings-article","created":{"date-parts":[[2023,9,28]],"date-time":"2023-09-28T17:32:23Z","timestamp":1695922343000},"page":"1-8","source":"Crossref","is-referenced-by-count":3,"title":["Search Based Testing for Code Coverage and Falsification in Cyber-Physical Systems"],"prefix":"10.1109","author":[{"given":"Quinn","family":"Thibeault","sequence":"first","affiliation":[{"name":"School of Computing and Augmented Intelligence, Arizona State University,Tempe,United States of America"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tanmay","family":"Khandait","sequence":"additional","affiliation":[{"name":"School of Computing and Augmented Intelligence, Arizona State University,Tempe,United States of America"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giulia","family":"Pedrielli","sequence":"additional","affiliation":[{"name":"School of Computing and Augmented Intelligence, Arizona State University,Tempe,United States of America"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georgios","family":"Fainekos","sequence":"additional","affiliation":[{"name":"Toyota Research Institute of North America,Ann Arbor,United States of America"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"Software considerations in airborne systems and equipment certification (DO-178C)","year":"2011"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038677"},{"key":"ref3","first-page":"133","article-title":"Arch-comp 2021 category report: Falsification with validation of results","volume-title":"8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), ser. EPiC Series in Computing","volume":"80","author":"Ernst","year":"2021"},{"key":"ref4","first-page":"204","article-title":"Arch-comp 2022 category report: Falsification with ubounded resources","volume-title":"Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), ser. EPiC Series in Computing","volume":"90","author":"Ernst","year":"2022"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1755952.1755983"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2016.2602089"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/EMSOFT.2015.7318257"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2017.08.1296"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1017\/9781316771273"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/tase.2023.3297984"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-75632-5_5"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3182657"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.98"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3365365.3382193"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380370"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2019.8843005"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_24"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-17524-9_10"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2465787.2465797"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-10778-2"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561342"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/s10898-020-00937-5"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1198\/TECH.2011.09141"}],"event":{"name":"2023 IEEE 19th International Conference on Automation Science and Engineering (CASE)","location":"Auckland, New Zealand","start":{"date-parts":[[2023,8,26]]},"end":{"date-parts":[[2023,8,30]]}},"container-title":["2023 IEEE 19th International Conference on Automation Science and Engineering (CASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10260321\/10260291\/10260576.pdf?arnumber=10260576","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,2]],"date-time":"2024-03-02T06:11:24Z","timestamp":1709359884000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10260576\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,26]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/case56687.2023.10260576","relation":{},"subject":[],"published":{"date-parts":[[2023,8,26]]}}}