{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T09:08:32Z","timestamp":1784538512854,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T00:00:00Z","timestamp":1776038400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["2347294"],"award-info":[{"award-number":["2347294"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,4,13]]},"DOI":"10.1145\/3788550.3794884","type":"proceedings-article","created":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T08:46:11Z","timestamp":1784537171000},"page":"219-224","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Grammar-Constrained Refinement of Safety Operational Rules Using Language in the Loop: What Could Go Wrong"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4156-9768","authenticated-orcid":false,"given":"Khouloud","family":"Gaaloul","sequence":"first","affiliation":[{"name":"Computer and Information Science, University of Michigan-Dearborn, Dearborn, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-5960-1765","authenticated-orcid":false,"given":"Zaid","family":"Ghazal","sequence":"additional","affiliation":[{"name":"Computer and Information Science, University of Michigan-Dearborn, Dearborn, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-7065-3910","authenticated-orcid":false,"given":"Madhu Latha","family":"Pulimi","sequence":"additional","affiliation":[{"name":"Computer and Information Science, University of Michigan-Dearborn, Dearborn, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-1888-1362","authenticated-orcid":false,"given":"Sam Emmanuel","family":"Kathiravan","sequence":"additional","affiliation":[{"name":"Computer and Information Science, University of Michigan-Dearborn, Dearborn, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,20]]},"reference":[{"key":"e_1_3_3_1_2_2","volume-title":"BeamNG.tech","unstructured":"Accessed: January 2026. BeamNG.tech. https:\/\/beamng.tech"},{"key":"e_1_3_3_1_3_2","first-page":"147","volume-title":"International Conference on Runtime Verification","author":"Asarin Eugene","year":"2011","unstructured":"Eugene Asarin, Alexandre Donz\u00e9, Oded Maler, and Dejan Nickovic. 2011. Parametric identification of temporal properties. In International Conference on Runtime Verification. Springer, 147\u2013160."},{"key":"e_1_3_3_1_4_2","first-page":"33","volume-title":"Proceedings of the 17th ACM\/IEEE International Workshop on Search-Based and Fuzz Testing, SBFT 2024, Lisbon, Portugal, 14 April 2024","author":"Biagiola Matteo","year":"2024","unstructured":"Matteo Biagiola and Stefan Klikovits. 2024. SBFT Tool Competition 2024 - Cyber-Physical Systems Track. In Proceedings of the 17th ACM\/IEEE International Workshop on Search-Based and Fuzz Testing, SBFT 2024, Lisbon, Portugal, 14 April 2024. ACM, 33\u201336. 10.1145\/3643659.3643932"},{"key":"e_1_3_3_1_5_2","first-page":"337","volume-title":"International conference on Tools and Algorithms for the Construction and Analysis of Systems","author":"De\u00a0Moura Leonardo","year":"2008","unstructured":"Leonardo De\u00a0Moura and Nikolaj Bj\u00f8rner. 2008. Z3: An efficient SMT solver. In International conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer, 337\u2013340."},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"crossref","unstructured":"Rami Debouk. 2019. Overview of the second edition of ISO 26262: Functional safety\u2014Road vehicles. Journal of System Safety 55 1 (2019) 13\u201321.","DOI":"10.56094\/jss.v55i1.55"},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"crossref","DOI":"10.7249\/RR2662","volume-title":"Measuring Automated Vehicle Safety: Forging a Framework","author":"Fraade-Blanar Laura","year":"2018","unstructured":"Laura Fraade-Blanar, Marjory\u00a0S. Blumenthal, James\u00a0M. Anderson, and Nidhi Kalra. 2018. Measuring Automated Vehicle Safety: Forging a Framework. RAND Corporation, Santa Monica, CA. https:\/\/www.rand.org\/pubs\/research_reports\/RR2662.html"},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"crossref","unstructured":"Khouloud Gaaloul Claudio Menghi Shiva Nejati Lionel\u00a0C Briand and Yago\u00a0Isasi Parache. 2021. Combining genetic programming and model checking to generate environment assumptions. IEEE Transactions on Software Engineering 48 9 (2021) 3664\u20133685.","DOI":"10.1109\/TSE.2021.3101818"},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"crossref","unstructured":"Alfredo Garc\u00eda David Llopis-Castell\u00f3 and Francisco\u00a0Javier Camacho-Torregrosa. 2022. From the vehicle-based concept of operational design domain to the road-based concept of operational road section. Frontiers in Built Environment 8 (2022) 901840.","DOI":"10.3389\/fbuil.2022.901840"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"crossref","unstructured":"Bardh Hoxha Adel Dokhanchi and Georgios Fainekos. 2018. Mining parametric temporal logic properties in model-based design for cyber-physical systems. International Journal on Software Tools for Technology Transfer 20 1 (2018) 79\u201393.","DOI":"10.1007\/s10009-017-0447-4"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"crossref","unstructured":"Susmit Jha Ashish Tiwari Sanjit\u00a0A Seshia Tuhin Sahai and Natarajan Shankar. 2019. TeLEx: learning signal temporal logic from positive examples using tightness metric. Formal Methods in System Design 54 3 (2019) 364\u2013387.","DOI":"10.1007\/s10703-019-00332-1"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"crossref","unstructured":"Baharin\u00a0A Jodat Abhishek Chandar Shiva Nejati and Mehrdad Sabetzadeh. 2024. Test generation strategies for building failure models and explaining spurious failures. ACM Transactions on Software Engineering and Methodology 33 4 (2024) 1\u201332.","DOI":"10.1145\/3638246"},{"key":"e_1_3_3_1_13_2","unstructured":"Baharin\u00a0A Jodat Khouloud Gaaloul Mehrdad Sabetzadeh and Shiva Nejati. 2025. Automated Test Oracles for Flaky Cyber-Physical System Simulators: Approach and Evaluation. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2508.20902 (2025)."},{"key":"e_1_3_3_1_14_2","unstructured":"Khouloud Gaaloul Zaid Ghazal Madhu Latha Pulimi Sam Emmanuel Kathiravan. 2026. Additional Materials. https:\/\/replication66.github.io\/SEAMS2026\/."},{"key":"e_1_3_3_1_15_2","first-page":"012019","volume-title":"IOP Conference Series: Materials Science and Engineering","volume":"534","author":"Kirovskii OM","year":"2019","unstructured":"OM Kirovskii and VA Gorelov. 2019. Driver assistance systems: analysis, tests and the safety case. ISO 26262 and ISO PAS 21448. In IOP Conference Series: Materials Science and Engineering , Vol.\u00a0534. IOP Publishing, 012019."},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"crossref","unstructured":"Panagiotis Kyriakis Jyotirmoy\u00a0V Deshmukh and Paul Bogdan. 2019. Specification mining and robust design under uncertainty: A stochastic temporal logic approach. ACM Transactions on Embedded Computing Systems (TECS) 18 5s (2019) 1\u201321.","DOI":"10.1145\/3358231"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/ASE.2015.71","volume-title":"2015 30th IEEE\/ACM International Conference on Automated Software Engineering (ASE)","author":"Lemieux Caroline","year":"2015","unstructured":"Caroline Lemieux, Dennis Park, and Ivan Beschastnikh. 2015. General LTL specification mining (T). In 2015 30th IEEE\/ACM International Conference on Automated Software Engineering (ASE). IEEE, 81\u201392."},{"key":"e_1_3_3_1_18_2","unstructured":"Junle Li Meiqi Tian and Bingzhuo Zhong. 2025. Automatic Generation of Safety-compliant Linear Temporal Logic via Large Language Model: A Self-supervised Framework. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2503.15840 (2025)."},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1109\/RE59067.2024.00029","volume-title":"2024 IEEE 32nd International Requirements Engineering Conference (RE)","author":"Nouri Ali","year":"2024","unstructured":"Ali Nouri, Beatriz Cabrero-Daniel, Fredrik T\u00f6rner, H\u00e5kan Sivencrona, and Christian Berger. 2024. Engineering safety requirements for autonomous driving with large language models. In 2024 IEEE 32nd International Requirements Engineering Conference (RE). IEEE, 218\u2013228."},{"key":"e_1_3_3_1_20_2","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1109\/SFCS.1977.32","volume-title":"18th annual symposium on foundations of computer science (sfcs 1977)","author":"Pnueli Amir","year":"1977","unstructured":"Amir Pnueli. 1977. The temporal logic of programs. In 18th annual symposium on foundations of computer science (sfcs 1977). ieee, 46\u201357."},{"key":"e_1_3_3_1_21_2","volume-title":"Temporal logic","author":"Rescher Nicholas","year":"2012","unstructured":"Nicholas Rescher and Alasdair Urquhart. 2012. Temporal logic. Vol.\u00a03. Springer Science & Business Media."},{"key":"e_1_3_3_1_22_2","doi-asserted-by":"crossref","first-page":"1555","DOI":"10.1109\/IVS.2018.8500421","volume-title":"2018 IEEE intelligent vehicles symposium (IV)","author":"Tuncali Cumhur\u00a0Erkan","year":"2018","unstructured":"Cumhur\u00a0Erkan Tuncali, Georgios Fainekos, Hisahiro Ito, and James Kapinski. 2018. Simulation-based adversarial test generation for autonomous vehicles with machine learning components. In 2018 IEEE intelligent vehicles symposium (IV). IEEE, 1555\u20131562."},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"crossref","unstructured":"Sandra Wachter Brent Mittelstadt and Chris Russell. 2017. Counterfactual explanations without opening the black box: Automated decisions and the GDPR. Harv. JL & Tech. 31 (2017) 841.","DOI":"10.2139\/ssrn.3063289"},{"key":"e_1_3_3_1_24_2","unstructured":"Wayne\u00a0Xin Zhao Kun Zhou Junyi Li Tianyi Tang Xiaolei Wang Yupeng Hou Yingqian Min Beichen Zhang Junjie Zhang Zican Dong et\u00a0al. 2023. A survey of large language models. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2303.18223 1 2 (2023)."},{"key":"e_1_3_3_1_25_2","doi-asserted-by":"crossref","unstructured":"Xiubin Zhu Dan Wang Witold Pedrycz and Zhiwu Li. 2022. Fuzzy rule-based local surrogate models for black-box model explanation. IEEE Transactions on Fuzzy Systems 31 6 (2022) 2056\u20132064.","DOI":"10.1109\/TFUZZ.2022.3218426"}],"event":{"name":"SEAMS '26: 21st International Conference on Software Engineering for Adaptive and Self-Managing Systems","location":"Rio de Janeiro Brazil","acronym":"SEAMS '26","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the 21st International Conference on Software Engineering for Adaptive and Self-Managing Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3788550.3794884","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T08:49:11Z","timestamp":1784537351000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3788550.3794884"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,13]]},"references-count":24,"alternative-id":["10.1145\/3788550.3794884","10.1145\/3788550"],"URL":"https:\/\/doi.org\/10.1145\/3788550.3794884","relation":{},"subject":[],"published":{"date-parts":[[2026,4,13]]},"assertion":[{"value":"2026-07-20","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}