{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T00:10:09Z","timestamp":1755907809794,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":57,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,9,22]],"date-time":"2024-09-22T00:00:00Z","timestamp":1726963200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100006374","name":"Office of Naval Research Global","doi-asserted-by":"publisher","award":["N62909-24-1-2006"],"award-info":[{"award-number":["N62909-24-1-2006"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,22]]},"DOI":"10.1145\/3640310.3674098","type":"proceedings-article","created":{"date-parts":[[2024,9,30]],"date-time":"2024-09-30T13:38:07Z","timestamp":1727703487000},"page":"249-256","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Towards Automated Test Scenario Generation for Assuring COLREGs Compliance of Autonomous Surface Vehicles"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3009-4314","authenticated-orcid":false,"given":"Ulf","family":"Karg\u00e9n","sequence":"first","affiliation":[{"name":"Link\u00f6ping University, Link\u00f6ping, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8790-252X","authenticated-orcid":false,"given":"D\u00e1niel","family":"Varr\u00f3","sequence":"additional","affiliation":[{"name":"Link\u00f6ping University, Link\u00f6ping, Sweden, McGill University, Montr\u00e9al, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,9,22]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2018. Xcore. https:\/\/wiki.eclipse.org\/Xcore"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970311"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180160"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238192"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-021-00918-6"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2023.3331254"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2016.7535534"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2018.8500632"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.oceaneng.2015.07.002"},{"key":"e_1_3_2_1_10_1","volume-title":"Automatic traffic scenarios generation for autonomous ships collision avoidance system testing. Ocean Engineering 254","author":"Bolbot Victor","year":"2022","unstructured":"Victor Bolbot, Christos Gkerekos, Gerasimos Theotokatos, and Evangelos Boulougouris. 2022. Automatic traffic scenarios generation for autonomous ships collision avoidance system testing. Ocean Engineering 254 (2022)."},{"key":"e_1_3_2_1_11_1","volume-title":"Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems. In 2020 IEEE 13th Int. Conf. on Software Testing, Validation and Verification (ICST). 375--386","author":"Cal\u00f2 Alessandro","year":"2020","unstructured":"Alessandro Cal\u00f2, Paolo Arcaini, Shaukat Ali, Florian Hauer, and Fuyuki Ishikawa. 2020. Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems. In 2020 IEEE 13th Int. Conf. on Software Testing, Validation and Verification (ICST). 375--386."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2018.2801881"},{"volume-title":"A Guide to the Collision Avoidance Rules (Seventh Edition) (seventh edition ed.)","author":"Cockcroft A.N.","key":"e_1_3_2_1_13_1","unstructured":"A.N. Cockcroft and J.N.F. Lameijer. 2012. Part B- Steering and sailing rules. In A Guide to the Collision Avoidance Rules (Seventh Edition) (seventh edition ed.), A.N. Cockcroft and J.N.F. Lameijer (Eds.). Butterworth-Heinemann, Oxford, 11--104."},{"key":"e_1_3_2_1_14_1","volume-title":"Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). ACM, 63--78","author":"Fremont Daniel J.","year":"2010","unstructured":"Daniel J. Fremont, Xiangyu Yue, Tommaso Dreossi, Alberto L. Sangiovanni-Vincentelli, Shromona Ghosh, and Sanjit A. Seshia. 2019. Scenic: A language for scenario specification and scene generation. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). ACM, 63--78. arXiv:2010.06580"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0373463300022384"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510188"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.oceaneng.2017.05.029"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2015.327"},{"key":"e_1_3_2_1_19_1","first-page":"153","article-title":"Model Based Generation of Driving Scenarios. Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering","volume":"222","author":"Hempen Thomas","year":"2017","unstructured":"Thomas Hempen, Sanjana Biank, Werner Huber, and Christian Diedrich. 2017. Model Based Generation of Driving Scenarios. Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST 222 (2017), 153--163.","journal-title":"LNICST"},{"key":"e_1_3_2_1_20_1","first-page":"531","article-title":"A common risk model for the assessment of encounter situations on board ships","volume":"49","author":"Hilgert Helmut","year":"1997","unstructured":"Helmut Hilgert and Michael Baldauf. 1997. A common risk model for the assessment of encounter situations on board ships. Ocean Dynamics 49, 4 (1997), 531--542.","journal-title":"Ocean Dynamics"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2019.2902927"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2016.2551780"},{"key":"e_1_3_2_1_23_1","volume-title":"SWARM-FLAWFINDER: Discovering and Exploiting Logic Flaws of Swarm Algorithms. In 2022 IEEE Symposium on Security and Privacy (SP). 1808--1825","author":"Jung Chijung","year":"2022","unstructured":"Chijung Jung, Ali Ahad, Yuseok Jeon, and Yonghwi Kwon. 2022. SWARM-FLAWFINDER: Discovering and Exploiting Logic Flaws of Swarm Algorithms. In 2022 IEEE Symposium on Security and Privacy (SP). 1808--1825."},{"key":"e_1_3_2_1_24_1","volume-title":"Temporal Logic Formalization of Marine Traffic Rules. In 2021 IEEE Intelligent Vehicles Symposium (IV). 186--192","author":"Krasowski Hanna","year":"2021","unstructured":"Hanna Krasowski and Matthias Althoff. 2021. Temporal Logic Formalization of Marine Traffic Rules. In 2021 IEEE Intelligent Vehicles Symposium (IV). 186--192."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.12716\/1001.07.02.01"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1002\/rob.21919"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/JOE.2013.2254214"},{"key":"e_1_3_2_1_28_1","volume-title":"Paracosm: A Test Framework for Autonomous Driving Simulations","author":"Majumdar Rupak","year":"2021","unstructured":"Rupak Majumdar, Aman Mathur, Marcus Pirron, Laura Stegner, and Damien Zufferey. 2021. Paracosm: A Test Framework for Autonomous Driving Simulations. Springer, Cham, 172--195."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3639478.3640045"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2020.19.3.a12"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2020.3025732"},{"key":"e_1_3_2_1_32_1","volume-title":"Test and Validation of Automated Vehicles. In IEEE Intelligent Vehicles Symposium","volume":"1827","author":"Menzel Till","year":"2018","unstructured":"Till Menzel, Gerrit Bagschik, and Markus Maurer. 2018. Scenarios for Development, Test and Validation of Automated Vehicles. In IEEE Intelligent Vehicles Symposium, Proceedings, Vol. 2018-June. IEEE Inc., 1821--1827. arXiv:1801.08598"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2017.10.031"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.mechatronics.2011.09.012"},{"key":"e_1_3_2_1_35_1","volume-title":"Advances in Neural Information Processing Systems","volume":"9838","author":"O'Kelly Matthew","year":"2018","unstructured":"Matthew O'Kelly, John Duchi, Aman Sinha, Hongseok Namkoong, and Russ Tedrake. 2018. Scalable end-to-end autonomous vehicle testing via rare-event simulation. In Advances in Neural Information Processing Systems, Vol. 2018-Decem. Neural information processing systems foundation, 9827--9838. arXiv:1811.00145"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.62454\/KB904E"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2015.7102604"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2019.8814107"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"crossref","unstructured":"Vincenzo Riccio and Paolo Tonella. 2020. Model-based Exploration of the Frontier of Behaviours for Deep Learning System Testing. ESEC\/FSE 2020 - Proceedings of the 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering (2020) 876--888.","DOI":"10.1145\/3368089.3409730"},{"key":"e_1_3_2_1_40_1","volume-title":"IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC","volume":"483","author":"Rocklage Elias","year":"2018","unstructured":"Elias Rocklage, Heiko Kraft, Abdullah Karatas, and Jorg Seewig. 2018. Automated scenario generation for regression testing of autonomous vehicles. In IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC, Vol. 2018-March. IEEE Inc., 476--483."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3072739"},{"volume-title":"A method for an efficient, systematic test case generation for advanced driver assistance systems in virtual environments","author":"Schuldt Fabian","key":"e_1_3_2_1_42_1","unstructured":"Fabian Schuldt, Andreas Reschka, and Markus Maurer. 2018. A method for an efficient, systematic test case generation for advanced driver assistance systems in virtual environments. In Automotive Systems Engineering II. Taylor and Francis, 147--175."},{"volume-title":"23rd ACM\/IEEE Int'l Conf. on Model Driven Engineering Languages and Systems. ACM, 114--120.","author":"Sch\u00fctt Barbara","key":"e_1_3_2_1_43_1","unstructured":"Barbara Sch\u00fctt, Thilo Braun, Stefan Otten, and Eric Sax. 2020. SceML: A Graphical Modeling Framework for Scenario-Based Testing of Autonomous Vehicles. In 23rd ACM\/IEEE Int'l Conf. on Model Driven Engineering Languages and Systems. ACM, 114--120."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180186"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/OCEANSE.2019.8867549"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3123504"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.oceaneng.2017.09.020"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2015.164"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.3390\/app11177782"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00773-020-00787-6"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-75396-6_16"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-018-9765-y"},{"volume-title":"OCEANS 2016 MTS\/IEEE Monterey.","author":"Woerner Kyle L.","key":"e_1_3_2_1_53_1","unstructured":"Kyle L. Woerner, Michael R. Benjamin, Michael Novitzky, and John J. Leonard. 2016. Collision avoidance road test for COLREGS-constrained autonomous vehicles. In OCEANS 2016 MTS\/IEEE Monterey."},{"key":"e_1_3_2_1_54_1","first-page":"399","article-title":"A new SOTIF scenario hierarchy and its critical test case generation based on potential risk assessment. IEEE 1st Int'l Conf. on Digital Twins and Parallel Intelligence","volume":"2021","author":"Wu Siyu","year":"2021","unstructured":"Siyu Wu, Hong Wang, Wenhao Yu, Kai Yang, Dongpu Cao, and Feiyue Wang. 2021. A new SOTIF scenario hierarchy and its critical test case generation based on potential risk assessment. IEEE 1st Int'l Conf. on Digital Twins and Parallel Intelligence, DTPI 2021 (2021), 399--409.","journal-title":"DTPI"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"crossref","unstructured":"Songan Zhang Huei Peng Ding Zhao and H. Eric Tseng. 2018. Accelerated Evaluation of Autonomous Vehicles in the Lane Change Scenario Based on Subset Simulation Technique. In 2018 21st International Conference on Intelligent Transportation Systems (ITSC). 3935--3940.","DOI":"10.1109\/ITSC.2018.8569800"},{"key":"e_1_3_2_1_56_1","volume-title":"COLREGs-compliant multiship collision avoidance based on deep reinforcement learning. Ocean Engineering 191","author":"Zhao Luman","year":"2019","unstructured":"Luman Zhao and Myung-Il Roh. 2019. COLREGs-compliant multiship collision avoidance based on deep reinforcement learning. Ocean Engineering 191 (2019)."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.3390\/jmse10111588"}],"event":{"name":"MODELS '24: ACM\/IEEE 27th International Conference on Model Driven Engineering Languages and Systems","sponsor":["Johannes Kepler University, Linz, Austria","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Linz Austria","acronym":"MODELS '24"},"container-title":["Proceedings of the ACM\/IEEE 27th International Conference on Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3640310.3674098","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3640310.3674098","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T23:51:38Z","timestamp":1755906698000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3640310.3674098"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,22]]},"references-count":57,"alternative-id":["10.1145\/3640310.3674098","10.1145\/3640310"],"URL":"https:\/\/doi.org\/10.1145\/3640310.3674098","relation":{},"subject":[],"published":{"date-parts":[[2024,9,22]]},"assertion":[{"value":"2024-09-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}