{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T16:18:52Z","timestamp":1762273132129,"version":"3.37.3"},"reference-count":74,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T00:00:00Z","timestamp":1719792000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T00:00:00Z","timestamp":1719792000000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T00:00:00Z","timestamp":1719792000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T00:00:00Z","timestamp":1719792000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency (DARPA) Automated Rapid Certification Of Software","doi-asserted-by":"publisher","award":["FA8750-20-C-0507"],"award-info":[{"award-number":["FA8750-20-C-0507"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["2046588"],"award-info":[{"award-number":["2046588"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Sci. Eng."],"published-print":{"date-parts":[[2024,7]]},"DOI":"10.1109\/tase.2023.3297984","type":"journal-article","created":{"date-parts":[[2023,8,15]],"date-time":"2023-08-15T17:48:12Z","timestamp":1692121692000},"page":"4504-4525","source":"Crossref","is-referenced-by-count":11,"title":["Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation With Probabilistic Guarantees"],"prefix":"10.1109","volume":"21","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6726-9790","authenticated-orcid":false,"given":"Giulia","family":"Pedrielli","sequence":"first","affiliation":[{"name":"School of Computing and Augmented Intelligence, Arizona State University, Tempe, AZ, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5029-5607","authenticated-orcid":false,"given":"Tanmay","family":"Khandait","sequence":"additional","affiliation":[{"name":"School of Computing and Augmented Intelligence, Arizona State University, Tempe, AZ, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-1463-2891","authenticated-orcid":false,"given":"Yumeng","family":"Cao","sequence":"additional","affiliation":[{"name":"School of Computing and Augmented Intelligence, Arizona State University, Tempe, AZ, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Quinn","family":"Thibeault","sequence":"additional","affiliation":[{"name":"School of Computing and Augmented Intelligence, Arizona State University, Tempe, AZ, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hao","family":"Huang","sequence":"additional","affiliation":[{"name":"College of Engineering, Yuan Ze University, Taoyuan, Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mauricio","family":"Castillo-Effen","sequence":"additional","affiliation":[{"name":"Lockheed Martin, Advanced Technology Laboratories, Arlington, VA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0456-2129","authenticated-orcid":false,"given":"Georgios","family":"Fainekos","sequence":"additional","affiliation":[{"name":"School of Computing and Augmented Intelligence (SCAI), Arizona State University, Tempe, AZ, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/mcs.2016.2602089"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_47"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-17524-9_10"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2858463"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00768-2_31"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2465787.2465797"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3126521"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2020.3013073"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2656045.2656061"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3365365.3382193"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380370"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2016.7886680"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2020.2969178"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1.12190"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678832"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3076125.3076128"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2018.8500421"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-018-09509-5"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-75632-5_5"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/EMSOFT.2018.8537236"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1.12716"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.29007\/68dk"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/CYBER.2014.6917426"},{"article-title":"Parameter searching and partition with probabilistic coverage guarantees","year":"2020","author":"Fan","key":"ref24"},{"article-title":"Software assurance approaches, considerations, and limitations: Final report","year":"2016","author":"Heimdahl","key":"ref25"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15297-9_9"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21668-3_21"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-59152-6_34"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-60508-7_22"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.29007\/91x9"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19835-9_21"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/1755952.1755983"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2010.5675195"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24953-7_35"},{"issue":"16","key":"ref36","first-page":"103","article-title":"Falsification of temporal logic requirements using gradient based local search in space and time","volume":"51","author":"Yaghoubi","year":"2018","journal-title":"IFACPapersOnLine"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_17"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185653"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-46982-9_27"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66845-1_1"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/SBST.2015.8"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-90870-6_18"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1287\/educ.2018.0188"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2018.8460635"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/s10898-020-00937-5"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2019.8843005"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/case49439.2021.9551474"},{"key":"ref48","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. (ARCH21)","volume":"80","author":"Ernst"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-85248-1_15"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-30281-8_10"},{"key":"ref51","first-page":"595","article-title":"Effective hybrid system falsification using Monte Carlo tree search guided by QBrobustness","volume-title":"Proc. 33rd Int. Conf. (CAV)","author":"Zhang"},{"key":"ref52","first-page":"3283","article-title":"Multiscale Gaussian process level set estimation","volume-title":"Proc. Mach. Learn. Res.","volume":"89","author":"Shekhar"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS54341.2022.00017"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2022.3201157"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1080\/01621459.2017.1307116"},{"article-title":"Simulation-based optimization for complex stochastic systems","year":"2011","author":"Prasetio","key":"ref56"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-11866-2_6"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1023\/A:1013916107446"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-9473(01)00073-1"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1198\/016214504000002014"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1198\/016214508000000689"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1007\/s11634-018-0341-2"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2021.3071343"},{"key":"ref64","article-title":"AlphaX: Exploring neural architectures with deep neural networks and Monte Carlo tree search","author":"Wang","year":"2019","journal-title":"arXiv:1903.11059"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3799-8"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejor.2020.04.045"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008306431147"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11164-3_19"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1023\/A:1007618624809"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2016.7797763"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-32079-9_3"},{"key":"ref72","first-page":"109","article-title":"Analyzing neighborhoods of falsifying traces in cyber-physical systems","volume-title":"Proc. ACM\/IEEE 8th Int. Conf. Cyber-Physical Syst. (ICCPS)","author":"Diwakaran"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-020-00599-4"},{"key":"ref74","first-page":"25","article-title":"Benchmarks for temporal logic requirements for automotive systems","volume-title":"Proc. 1st 2nd Int. Workshop Appl. Verification Continuous Hybrid Syst., in EPiC Series in Computing","volume":"34","author":"Hoxha"}],"container-title":["IEEE Transactions on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/8856\/10631742\/10219561-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8856\/10631742\/10219561.pdf?arnumber=10219561","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,10]],"date-time":"2024-08-10T06:38:56Z","timestamp":1723271936000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10219561\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7]]},"references-count":74,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tase.2023.3297984","relation":{},"ISSN":["1545-5955","1558-3783"],"issn-type":[{"type":"print","value":"1545-5955"},{"type":"electronic","value":"1558-3783"}],"subject":[],"published":{"date-parts":[[2024,7]]}}}