{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T06:38:31Z","timestamp":1773470311767,"version":"3.50.1"},"reference-count":33,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"8","license":[{"start":{"date-parts":[[2022,8,1]],"date-time":"2022-08-01T00:00:00Z","timestamp":1659312000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,8,1]],"date-time":"2022-08-01T00:00:00Z","timestamp":1659312000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,8,1]],"date-time":"2022-08-01T00:00:00Z","timestamp":1659312000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"Swedish Research Council (VR) Project SyTeC VR","award":["2016-06204"],"award-info":[{"award-number":["2016-06204"]}]},{"DOI":"10.13039\/501100001858","name":"Swedish Governmental Agency for Innovation Systems","doi-asserted-by":"crossref","award":["TESTRON 2015-04893"],"award-info":[{"award-number":["TESTRON 2015-04893"]}],"id":[{"id":"10.13039\/501100001858","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Wallenberg AI, Autonomous Systems and Software Program"},{"DOI":"10.13039\/501100004063","name":"Knut and Alice Wallenberg Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004063","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2022,8]]},"DOI":"10.1109\/tcad.2021.3110740","type":"journal-article","created":{"date-parts":[[2021,9,6]],"date-time":"2021-09-06T16:38:25Z","timestamp":1630946305000},"page":"2393-2406","source":"Crossref","is-referenced-by-count":9,"title":["Testing Cyber\u2013Physical Systems Using a Line-Search Falsification Method"],"prefix":"10.1109","volume":"41","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0873-7712","authenticated-orcid":false,"given":"Zahra","family":"Ramezani","sequence":"first","affiliation":[{"name":"Department of Electrical Engineering, Chalmers University of Technology, Gothenburg, Sweden"}]},{"given":"Koen","family":"Claessen","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, Chalmers University of Technology, Gothenburg, Sweden"}]},{"given":"Nicholas","family":"Smallbone","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, Chalmers University of Technology, Gothenburg, Sweden"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1287-9748","authenticated-orcid":false,"given":"Martin","family":"Fabian","sequence":"additional","affiliation":[{"name":"Department of Electrical Engineering, Chalmers University of Technology, Gothenburg, Sweden"}]},{"given":"Knut","family":"Akesson","sequence":"additional","affiliation":[{"name":"Department of Electrical Engineering, Chalmers University of Technology, Gothenburg, Sweden"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"Principles of Cyber\u2013Physical Systems","author":"Alur","year":"2015"},{"key":"ref2","volume-title":"Verifying Cyber\u2013Physical Systems: A Path to Safe Autonomy","author":"Mitra","year":"2021"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1592761.1592781"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/225058.225162"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-75632-5_5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/bf01995674"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2020.2966480"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728628"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.06.333"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10479-015-2019-x"},{"key":"ref13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-68913-5","volume-title":"Derivative-Free and Blackbox Optimization (Operations Research and Financial Engineering)","author":"Audet","year":"2017"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/321062.321069"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/7.4.308"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2015.2494218"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2017.08.1296"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s10898-012-9951-y"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1137\/040603371"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1377612.1377613"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.29007\/f4vs"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.121"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.68"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.37"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.02.022"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2421011"},{"issue":"10","key":"ref27","first-page":"281","article-title":"Random search for hyper-parameter optimization","volume":"13","author":"Bergstra","year":"2012","journal-title":"J. Mach. Learn. Res."},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19835-9_21"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_17"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.29007\/68dk"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2021.04.040"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311814"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1137\/S1052623496303470"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/9832686\/09530448.pdf?arnumber=9530448","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,11]],"date-time":"2024-01-11T17:41:25Z","timestamp":1704994885000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9530448\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8]]},"references-count":33,"journal-issue":{"issue":"8"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2021.3110740","relation":{"has-preprint":[{"id-type":"doi","id":"10.36227\/techrxiv.14555826","asserted-by":"object"},{"id-type":"doi","id":"10.36227\/techrxiv.14555826.v3","asserted-by":"object"}]},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,8]]}}}