{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T17:59:32Z","timestamp":1778349572406,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":82,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,11,30]],"date-time":"2023-11-30T00:00:00Z","timestamp":1701302400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","award":["RGPIN-2022-04622, DGECR-2022-0040"],"award-info":[{"award-number":["RGPIN-2022-04622, DGECR-2022-0040"]}],"id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,11,30]]},"DOI":"10.1145\/3611643.3613894","type":"proceedings-article","created":{"date-parts":[[2023,11,30]],"date-time":"2023-11-30T23:14:38Z","timestamp":1701386078000},"page":"1949-1960","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3033-7371","authenticated-orcid":false,"given":"Federico","family":"Formica","sequence":"first","affiliation":[{"name":"McMaster University, Hamilton, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-2567-1428","authenticated-orcid":false,"given":"Nicholas","family":"Petrunti","sequence":"additional","affiliation":[{"name":"McMaster University, Hamilton, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2167-7729","authenticated-orcid":false,"given":"Lucas","family":"Bruck","sequence":"additional","affiliation":[{"name":"McMaster University, Hamilton, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1696-2768","authenticated-orcid":false,"given":"Vera","family":"Pantelic","sequence":"additional","affiliation":[{"name":"McMaster University, Hamilton, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3161-2176","authenticated-orcid":false,"given":"Mark","family":"Lawford","sequence":"additional","affiliation":[{"name":"McMaster University, Hamilton, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5303-8481","authenticated-orcid":false,"given":"Claudio","family":"Menghi","sequence":"additional","affiliation":[{"name":"University of Bergamo, Bergamo, Italy \/ McMaster University, Hamilton, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,11,30]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"2022. VI-GRADE Announces Installation of Latest Generation Compact Driving Simulator at Italian Braking Systems Manufacturer Brembo. https:\/\/www.vi-grade.com\/en\/about\/news\/vi-grade-announces-installation-of-latest-generation-compact-driving-simulator-at-italian-braking-systems-manufacturer-brembo-1805\/"},{"key":"e_1_3_2_2_2_1","unstructured":"2022. What Is Simulated Annealing? https:\/\/www.mathworks.com\/help\/gads\/what-is-simulated-annealing.html"},{"key":"e_1_3_2_2_3_1","unstructured":"2023. Adaptive Cruise Control for Passengers Cars. https:\/\/www.bosch-mobility.com\/en\/solutions\/assistance-systems\/adaptive-cruise-control\/"},{"key":"e_1_3_2_2_4_1","unstructured":"2023. Replication Package. https:\/\/figshare.com\/s\/f07f53b2461e67418202"},{"key":"e_1_3_2_2_5_1","unstructured":"2023. Simulink. https:\/\/www.mathworks.com\/products\/simulink.html"},{"key":"e_1_3_2_2_6_1","unstructured":"2023. Simulink Test. https:\/\/www.mathworks.com\/products\/simulink-test.html"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW50294.2020.00026"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.52"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2020.2991953"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19835-9_21"},{"key":"e_1_3_2_2_11_1","volume-title":"Assessing Impact of Heavily Aged Batteries on Hybrid Electric Vehicle Fuel Economy and Drivability. In IEEE Transportation Electrification Conference & Expo. 696\u2013701","author":"Anselma Pier Giuseppe","year":"2021","unstructured":"Pier Giuseppe Anselma, Phillip J. Kollmeyer, Stefano Feraco, Angelo Bonfitto, Giovanni Belingardi, Ali Emadi, Nicola Amati, and Andrea Tonoli. 2021. Assessing Impact of Heavily Aged Batteries on Hybrid Electric Vehicle Fuel Economy and Drivability. In IEEE Transportation Electrification Conference & Expo. 696\u2013701."},{"key":"e_1_3_2_2_12_1","unstructured":"P Arcaini E Riccobene and A Gargantini. 2016. Model-based offline and online testing for medical software. In European & Asian System Software & Service Process Improvement & Innovation. WHITEBOX 11\u201320."},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.121"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908812.2908871"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/VPPC55846.2022.10003336"},{"key":"e_1_3_2_2_16_1","volume-title":"International Workshop on Applied. 90","author":"Ayesh Mostafa","year":"2022","unstructured":"Mostafa Ayesh, Namya Mehan, Ethan Dhanraj, Abdul El-Rahwan, Simon Emil Opalka, Tony Fan, Akil Hamilton, Akshay Mathews Jacob, Rahul Anthony Sundarrajan, and Bryan Widjaja. 2022. Two Simulink Models with Requirements for a Simple Controller of a Pacemaker Device. In International Workshop on Applied. 90, 18\u201325."},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"crossref","unstructured":"David Barnes Jared Folden Hwan-Sik Yoon and Paulius Puzinauskas. 2020. Scalable Simulation Environment for Adaptive Cruise Controller Development. SAE Technical Paper.","DOI":"10.4271\/2020-01-1359"},{"key":"e_1_3_2_2_18_1","unstructured":"Daniel Goretti L Barroso Ali Emadi and Lucas Bruck. 2023. Driver-in-the-Loop Drivability and Energy Efficiency Analysis of Regenerative Braking Strategies for Electric Vehicles. SAE Technical Paper."},{"key":"e_1_3_2_2_19_1","volume-title":"SUMO User Conference. 62","author":"Barthauer Mirko","year":"2019","unstructured":"Mirko Barthauer and Alexander Hafner. 2019. Testing an Adaptive Cruise Controller with coupled traffic and driving simulations.. In Simulating Connected Urban Mobility, SUMO User Conference. 62, EasyChair, 48\u201355."},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-021-00883-0"},{"key":"e_1_3_2_2_22_1","volume-title":"Testing Software and Systems","author":"Bombarda Andrea","unstructured":"Andrea Bombarda, Silvia Bonfanti, and Angelo Gargantini. 2022. Automatic Test Generation with ASMETA for the Mechanical Ventilator Milano Controller. In Testing Software and Systems. Springer, 65\u201372."},{"key":"e_1_3_2_2_23_1","volume-title":"Design Tools and Methods in Industrial Engineering","author":"Bonera Emanuele","unstructured":"Emanuele Bonera, Marco Gadola, Daniel Chindamo, Stefano Morbioli, and Paolo Magri. 2020. Integrated Design Tools for Model-Based Development of Innovative Vehicle Chassis and Powertrain Systems. In Design Tools and Methods in Industrial Engineering. Springer, 118\u2013128."},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/OJVT.2020.3036582"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/CCTA.2019.8920504"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377930.3389827"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1177\/0037549716675955"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/EMSOFT.2015.7318257"},{"key":"e_1_3_2_2_29_1","volume-title":"Computer Aided Verification","author":"Donz\u00e9 Alexandre","unstructured":"Alexandre Donz\u00e9. 2010. Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems. In Computer Aided Verification. Springer, 167\u2013170."},{"key":"e_1_3_2_2_30_1","volume-title":"Claudio Menghi, Giulia Pedrielli, Masaki Waga, Yoriyuki Yamagata, and Zhenya Zhang.","author":"Ernst Gidon","year":"2022","unstructured":"Gidon Ernst, Paolo Arcaini, Georgios Fainekos, Federico Formica, Jun Inoue, Tanmay Khandait, Mohammad Mahdi Mahboob, Claudio Menghi, Giulia Pedrielli, Masaki Waga, Yoriyuki Yamagata, and Zhenya Zhang. 2022. ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources. In International Workshop on Applied Verification of Continuous and Hybrid Systems (EPiC Series in Computing, Vol. 90). EasyChair, 204\u2013221."},{"key":"e_1_3_2_2_31_1","volume-title":"International Conference on Quantitative Evaluation of Systems. Springer, 165\u2013181","author":"Ernst Gidon","year":"2018","unstructured":"Gidon Ernst, Sean Sedwards, Zhenya Zhang, and Ichiro Hasuo. 2018. Fast Falsification of Hybrid Systems using Probabilistically Adaptive Input. In International Conference on Quantitative Evaluation of Systems. Springer, 165\u2013181."},{"key":"e_1_3_2_2_32_1","volume-title":"Formal Approaches to Software Testing and Runtime Verification","author":"Fainekos Georgios E","unstructured":"Georgios E Fainekos and George J Pappas. 2006. Robustness of temporal logic specifications. In Formal Approaches to Software Testing and Runtime Verification. Springer, 178\u2013192."},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2012.6315384"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/EV.2019.8893027"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"crossref","unstructured":"Federico Formica Mehrnoosh Askarpour and Claudio Menghi. 2022. Search-based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions. arXiv preprint arXiv:2207.11016","DOI":"10.1145\/3624745"},{"key":"e_1_3_2_2_36_1","unstructured":"Federico Formica Tony Fan Akshay Rajhans Vera Pantelic Mark Lawford and Claudio Menghi. 2022. Simulation-based Testing of Simulink Models with Test Sequence and Test Assessment Blocks. https:\/\/arxiv.org\/abs\/2212.11589"},{"key":"e_1_3_2_2_37_1","volume-title":"Congress on Evolutionary Computation. 2940\u20132947","author":"Ghani Kamran","year":"2009","unstructured":"Kamran Ghani, John A. Clark, and Yuan Zhan. 2009. Comparing algorithms for search-based test data generation of Matlab\u00ae Simulink\u00ae models. In Congress on Evolutionary Computation. 2940\u20132947."},{"key":"e_1_3_2_2_38_1","volume-title":"Experience Paper: Search-Based Testing in Automated Driving Control Applications. In International Conference on Automated Software Engineering.","author":"Gladisch Christoph","year":"2019","unstructured":"Christoph Gladisch, Thomas Heinz, Christian Heinzemann, Jens Oehlerking, Anne von Vietinghoff, and Tim Pfitzer. 2019. Experience Paper: Search-Based Testing in Automated Driving Control Applications. In International Conference on Automated Software Engineering."},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3540250.3558955"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(01)00189-6"},{"key":"e_1_3_2_2_41_1","volume-title":"International Conference on Manufacturing, Industrial Automation and Electronics","author":"He Yizhuo","unstructured":"Yizhuo He and Jie Pang. 2022. Optimization Design of Suspension Geometric Parameters of Formula Student Race Vehicle Based on ADAMS. In International Conference on Manufacturing, Industrial Automation and Electronics. IEEE, 164\u2013169."},{"key":"e_1_3_2_2_42_1","volume-title":"A survey of longitudinal acceleration comfort studies in ground transportation vehicles","author":"Hoberock Lawrence L","unstructured":"Lawrence L Hoberock. 1976. A survey of longitudinal acceleration comfort studies in ground transportation vehicles. Council for Advanced Transportation Studies."},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"crossref","unstructured":"Quanan Huang and Huiyi Wang. 2004. Fundamental study of jerk: evaluation of shift quality and ride comfort. SAE Technical Paper.","DOI":"10.4271\/2004-01-2065"},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST49551.2021.00030"},{"key":"e_1_3_2_2_45_1","volume-title":"Repository Mining for Changes in Simulink Models. In International Conference on Model Driven Engineering Languages and Systems. 46\u201357","author":"Jaskolka Monika","year":"2021","unstructured":"Monika Jaskolka, Vera Pantelic, Alan Wassyng, Mark Lawford, and Richard Paige. 2021. Repository Mining for Changes in Simulink Models. In International Conference on Model Driven Engineering Languages and Systems. 46\u201357."},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.4271\/2016-01-0128"},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2019.8917287"},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","unstructured":"Thomas Laurent Stefan Klikovits Paolo Arcaini Fuyuki Ishikawa and Anthony Ventresque. 2022. Parameter Coverage for Testing of Autonomous Driving Systems Under Uncertainty. ACM Transactions on Software Engineering and Methodology https:\/\/doi.org\/10.1145\/3550270 10.1145\/3550270","DOI":"10.1145\/3550270"},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2018.2834476"},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/IV47402.2020.9304710"},{"key":"e_1_3_2_2_51_1","unstructured":"Xiao Ling and Tim Menzies. 2023. On the Benefits of Semi-Supervised Test Case Generation for Cyber-Physical Systems. arXiv preprint arXiv:2305.03714."},{"key":"e_1_3_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2023.3272309"},{"key":"e_1_3_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-018-9611-z"},{"key":"e_1_3_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITEC53557.2022.9814032"},{"key":"e_1_3_2_2_55_1","unstructured":"2022. Adaptive Cruise Control System Market to Witness Strong Growth with a Projected CAGR of 6.6% | Market.us Report. http:\/\/www.globenewswire.com\/news-release\/2023\/04\/11\/2644946\/0\/en\/Adaptive-Cruise-Control-System-Market-to-Witness-Strong-Growth-with-a-Projected-CAGR-of-6-6-Market-us-Report.html"},{"key":"e_1_3_2_2_56_1","unstructured":"2022. Everything You Need to Know about Our Comprehensive Car Testing. https:\/\/www.caranddriver.com\/features\/a32018270\/how-we-test-cars\/"},{"key":"e_1_3_2_2_57_1","unstructured":"2022. McMaster Automotive Resource Centre (MARC). https:\/\/facilities.mcmaster.ca\/building\/mcmaster-automotive-resource-centre-marc\/"},{"key":"e_1_3_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE48521.2020.00040"},{"key":"e_1_3_2_2_59_1","doi-asserted-by":"crossref","unstructured":"Aakar Mehra Wen-Loong Ma Forrest Berg Paulo Tabuada Jessy W Grizzle and Aaron D Ames. 2015. Adaptive cruise control: Experimental validation of advanced controllers on scale-model cars. In American control conference. 1411\u20131418.","DOI":"10.1109\/ACC.2015.7170931"},{"key":"e_1_3_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380370"},{"key":"e_1_3_2_2_61_1","doi-asserted-by":"crossref","unstructured":"Claudio Menghi Shiva Nejati Khouloud Gaaloul and Lionel C Briand. 2019. Generating automated and online test oracles for simulink models with continuous and uncertain behaviors. In European software engineering conference and symposium on the foundations of software engineering. ACM 27\u201338.","DOI":"10.1145\/3338906.3338920"},{"key":"e_1_3_2_2_62_1","doi-asserted-by":"publisher","DOI":"10.1177\/1541931213571271"},{"key":"e_1_3_2_2_63_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2011.2168820"},{"key":"e_1_3_2_2_64_1","doi-asserted-by":"publisher","DOI":"10.1109\/MTITS.2019.8883327"},{"key":"e_1_3_2_2_65_1","volume-title":"International Conference on Software Testing, Verification and Validation Workshops","author":"Peltom\u00e4ki Jarkko","unstructured":"Jarkko Peltom\u00e4ki and Ivan Porres. 2022. Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits. In International Conference on Software Testing, Verification and Validation Workshops. IEEE."},{"key":"e_1_3_2_2_66_1","doi-asserted-by":"publisher","unstructured":"Herbert Schuette and Peter Waeltermann. 2005. Hardware-in-the-Loop Testing of Vehicle Dynamics Controllers \u2013 A Technical Survey. SAE transactions 593\u2013609. https:\/\/doi.org\/10.4271\/2005-01-1660 10.4271\/2005-01-1660","DOI":"10.4271\/2005-01-1660"},{"key":"e_1_3_2_2_67_1","volume-title":"Cruise control technology review. Computers & electrical engineering, 23, 4","author":"Shaout A","year":"1997","unstructured":"A Shaout and Mohammad Ameen Jarrah. 1997. Cruise control technology review. Computers & electrical engineering, 23, 4 (1997), 259\u2013271."},{"key":"e_1_3_2_2_68_1","unstructured":"2022. Objectified Evaluation at Engine-In-The-Loop Test Bench. https:\/\/magazine.fev.com\/en\/drivability-characteristics\/"},{"key":"e_1_3_2_2_69_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2022.3202311"},{"key":"e_1_3_2_2_70_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-023-10306-x"},{"key":"e_1_3_2_2_71_1","doi-asserted-by":"publisher","DOI":"10.20485\/jsaeijae.9.3_99"},{"key":"e_1_3_2_2_72_1","unstructured":"2022. Test Assessment. https:\/\/www.mathworks.com\/help\/sltest\/ref\/testassessment.html"},{"key":"e_1_3_2_2_73_1","unstructured":"2022. Test Sequence. https:\/\/www.mathworks.com\/help\/sltest\/ref\/testsequence.html"},{"key":"e_1_3_2_2_74_1","volume-title":"Formal Methods for Industrial Critical Systems","author":"Thibeault Quinn","unstructured":"Quinn Thibeault, Jacob Anderson, Aniruddh Chandratre, Giulia Pedrielli, and Georgios Fainekos. 2021. PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems. In Formal Methods for Industrial Critical Systems. Springer, 223\u2013231."},{"key":"e_1_3_2_2_75_1","doi-asserted-by":"publisher","DOI":"10.1109\/VPPC55846.2022.10003308"},{"key":"e_1_3_2_2_76_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2019.2955903"},{"key":"e_1_3_2_2_77_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2016.7795751"},{"key":"e_1_3_2_2_78_1","volume-title":"International Conference on Software Engineering: Software Engineering in Practice. IEEE.","author":"Valle Pablo","year":"2023","unstructured":"Pablo Valle, Aitor Arrieta, and Maite Arratibel. 2023. Automated Misconfiguration Repair of Configurable Cyber-Physical Systems with Search: an Industrial Case Study on Elevator Dispatching Algorithms. In International Conference on Software Engineering: Software Engineering in Practice. IEEE."},{"key":"e_1_3_2_2_79_1","unstructured":"2022. VI-CarRealTime. https:\/\/www.vi-grade.com\/en\/products\/vi-carrealtime\/"},{"key":"e_1_3_2_2_80_1","volume-title":"Falsification of Cyber-Physical Systems with Robustness-Guided Black-Box Checking. In International Conference on Hybrid Systems: Computation and Control. ACM, Article 11","author":"Waga Masaki","year":"2020","unstructured":"Masaki Waga. 2020. Falsification of Cyber-Physical Systems with Robustness-Guided Black-Box Checking. In International Conference on Hybrid Systems: Computation and Control. ACM, Article 11, 13 pages."},{"key":"e_1_3_2_2_81_1","doi-asserted-by":"publisher","DOI":"10.1145\/3540250.3558957"},{"key":"e_1_3_2_2_82_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2020.2969178"},{"key":"e_1_3_2_2_83_1","volume-title":"Computer Aided Verification","author":"Zhang Zhenya","unstructured":"Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, and Jianjun Zhao. 2021. Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness. In Computer Aided Verification. Springer, 1\u201324."}],"event":{"name":"ESEC\/FSE '23: 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","location":"San Francisco CA USA","acronym":"ESEC\/FSE '23","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3611643.3613894","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3611643.3613894","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:36:03Z","timestamp":1750178163000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3611643.3613894"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,30]]},"references-count":82,"alternative-id":["10.1145\/3611643.3613894","10.1145\/3611643"],"URL":"https:\/\/doi.org\/10.1145\/3611643.3613894","relation":{},"subject":[],"published":{"date-parts":[[2023,11,30]]},"assertion":[{"value":"2023-11-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}