{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:19:47Z","timestamp":1750220387826,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":5,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,9,30]],"date-time":"2021-09-30T00:00:00Z","timestamp":1632960000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","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"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,9,30]]},"DOI":"10.1145\/3477244.3477984","type":"proceedings-article","created":{"date-parts":[[2021,9,30]],"date-time":"2021-09-30T17:06:05Z","timestamp":1633021565000},"page":"41-42","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Towards assurance case evidence generation through search based testing"],"prefix":"10.1145","author":[{"given":"Yumeng","family":"Cao","sequence":"first","affiliation":[{"name":"Arizona State University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Quinn","family":"Thibeault","sequence":"additional","affiliation":[{"name":"Arizona State University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aniruddh","family":"Chandratre","sequence":"additional","affiliation":[{"name":"Arizona State University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georgios","family":"Fainekos","sequence":"additional","affiliation":[{"name":"Arizona State University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giulia","family":"Pedrielli","sequence":"additional","affiliation":[{"name":"Arizona State University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mauricio","family":"Castillo-Effen","sequence":"additional","affiliation":[{"name":"Lockheed Martin Advanced Technology Laboratories"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,9,30]]},"reference":[{"volume-title":"Lectures on Runtime Verification. LNCS","author":"Bartocci Ezio","key":"e_1_3_2_1_1_1","unstructured":"Ezio Bartocci , Jyotirmoy Deshmukh , Alexandre Donz\u00e9 , Georgios Fainekos , Oded Maler , Dejan Nickovic , and Sriram Sankaranarayanan . 2018. Specification-based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications . In Lectures on Runtime Verification. LNCS , Vol. 10457 . Springer , 128--168. Ezio Bartocci, Jyotirmoy Deshmukh, Alexandre Donz\u00e9, Georgios Fainekos, Oded Maler, Dejan Nickovic, and Sriram Sankaranarayanan. 2018. Specification-based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications. In Lectures on Runtime Verification. LNCS, Vol. 10457. Springer, 128--168."},{"key":"e_1_3_2_1_2_1","volume-title":"Category Report: Falsification. EPiC Series in Computing","author":"Ernst Gidon","year":"2020","unstructured":"Gidon Ernst , Paolo Arcaini , Ismail Bennani , Alexandre Donze , Georgios Fainekos , Goran Frehse , Logan Mathesen , Claudio Menghi , Giulia Pedrinelli , Marc Pouzet , 2020 . ARCH-COMP 2020 Category Report: Falsification. EPiC Series in Computing (2020). Gidon Ernst, Paolo Arcaini, Ismail Bennani, Alexandre Donze, Georgios Fainekos, Goran Frehse, Logan Mathesen, Claudio Menghi, Giulia Pedrinelli, Marc Pouzet, et al. 2020. ARCH-COMP 2020 Category Report: Falsification. EPiC Series in Computing (2020)."},{"key":"e_1_3_2_1_3_1","volume-title":"Parameter Searching and Partition with Probabilistic Coverage Guarantees. arXiv:2004.00279","author":"Fan Chuchu","year":"2020","unstructured":"Chuchu Fan , Xin Qin , and Jyotirmoy Deshmukh . 2020. Parameter Searching and Partition with Probabilistic Coverage Guarantees. arXiv:2004.00279 ( 2020 ). Chuchu Fan, Xin Qin, and Jyotirmoy Deshmukh. 2020. Parameter Searching and Partition with Probabilistic Coverage Guarantees. arXiv:2004.00279 (2020)."},{"key":"e_1_3_2_1_4_1","volume-title":"Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers. In 5th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH)","volume":"54","author":"Heidlauf Peter","year":"2018","unstructured":"Peter Heidlauf , Alexander Collins , Michael Bolender , and Stanley Bak . 2018 . Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers. In 5th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH) , Vol. 54 . 208--217. Peter Heidlauf, Alexander Collins, Michael Bolender, and Stanley Bak. 2018. Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers. In 5th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH), Vol. 54. 208--217."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2016.2602089"}],"event":{"name":"ESWEEK '21: Seventeenth Embedded Systems Week","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing","IEEE CAS","IEEE Council on Electronic Design Automation (CEDA)"],"location":"Virtual Event","acronym":"ESWEEK '21"},"container-title":["Proceedings of the 2021 International Conference on Embedded Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3477244.3477984","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3477244.3477984","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3477244.3477984","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:18:32Z","timestamp":1750191512000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3477244.3477984"}},"subtitle":["work-in-progress"],"short-title":[],"issued":{"date-parts":[[2021,9,30]]},"references-count":5,"alternative-id":["10.1145\/3477244.3477984","10.1145\/3477244"],"URL":"https:\/\/doi.org\/10.1145\/3477244.3477984","relation":{},"subject":[],"published":{"date-parts":[[2021,9,30]]},"assertion":[{"value":"2021-09-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}