{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T21:02:32Z","timestamp":1776373352553,"version":"3.51.2"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,23]]},"DOI":"10.1145\/3696630.3728574","type":"proceedings-article","created":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T19:09:27Z","timestamp":1753729767000},"page":"1025-1029","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["DReM: Efficiently Generating Domain-Specific Requirements Modeling Tool"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-1834-0531","authenticated-orcid":false,"given":"Ruixin","family":"Geng","sequence":"first","affiliation":[{"name":"School of Software, Beihang University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-6542-4502","authenticated-orcid":false,"given":"Jiahao","family":"Weng","sequence":"additional","affiliation":[{"name":"School of Software, Beihang University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1708-5018","authenticated-orcid":false,"given":"Ning","family":"Ge","sequence":"additional","affiliation":[{"name":"School of Software, Beihang University, Beijing, China"},{"name":"State Key Laboratory of Complex & Critical Software Environment, Beijing, China"},{"name":"Zhongguancun Laboratory, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-7580-1691","authenticated-orcid":false,"given":"Jingyao","family":"Li","sequence":"additional","affiliation":[{"name":"School of Software, BeihangUniversity, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3473-9703","authenticated-orcid":false,"given":"Chunming","family":"Hu","sequence":"additional","affiliation":[{"name":"School of Software, Beihang University, Beijing, China"},{"name":"State Key Laboratory of Complex & Critical Software Environment, Beijing, China"},{"name":"Zhongguancun Laboratory, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,7,28]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"30th International Requirements Engineering Conference (RE). IEEE, 266\u2013267","author":"Anderson Jacob","year":"2022","unstructured":"Jacob Anderson, Mohammad Hekmatnejad, and Georgios Fainekos. 2022. PyFoReL: a domain-specific language for formal requirements in temporal logic. In 30th International Requirements Engineering Conference (RE). IEEE, 266\u2013267."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/s10515-023-00403-y","article-title":"A tool for requirements engineering using ontologies and boilerplates","volume":"31","author":"Antoniou Christina","year":"2024","unstructured":"Christina Antoniou and Nick Bassiliades. 2024. A tool for requirements engineering using ontologies and boilerplates. Automated Software Engineering 31, 1 (2024), 5.","journal-title":"Automated Software Engineering"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1109\/TSE.2015.2398877","article-title":"Aligning qualitative, real-time, and probabilistic property specification patterns using a structured english grammar","volume":"41","author":"Autili Marco","year":"2015","unstructured":"Marco Autili, Lars Grunske, Markus Lumpe, Patrizio Pelliccione, and Antony Tang. 2015. Aligning qualitative, real-time, and probabilistic property specification patterns using a structured english grammar. IEEE Transactions on Software Engineering 41, 7 (2015), 620\u2013638.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems. 232\u2013243","author":"Barros Djonathan","year":"2022","unstructured":"Djonathan Barros, Sven Peldszus, Wesley KG Assun\u00e7\u00e3o, and Thorsten Berger. 2022. Editing support for software languages: implementation practices in language server protocols. In Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems. 232\u2013243."},{"key":"e_1_3_2_1_5_1","volume-title":"2021 ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). IEEE, 454\u2013463","author":"Belafia Romain","year":"2021","unstructured":"Romain Belafia, Pierre Jeanjean, Olivier Barais, Gurvan Le Guernic, and Benoit Combemale. 2021. From monolithic to microservice architecture: the case of extensible and domain-specific IDEs. In 2021 ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). IEEE, 454\u2013463."},{"key":"e_1_3_2_1_6_1","volume-title":"Proc. ACM Program. Lang. 3, POPL, Article 44 (jan","author":"Bodin Martin","year":"2019","unstructured":"Martin Bodin, Philippa Gardner, Thomas Jensen, and Alan Schmitt. 2019. Skeletal semantics and their interpretations. Proc. ACM Program. Lang. 3, POPL, Article 44 (jan 2019), 31 pages."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/2070336.2070341","article-title":"Do-178c: the next avionics safety standard","volume":"31","author":"Brosgol Benjamin","year":"2011","unstructured":"Benjamin Brosgol. 2011. Do-178c: the next avionics safety standard. ACM SIGAda Ada Letters 31, 3 (2011), 5\u20136.","journal-title":"ACM SIGAda Ada Letters"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","first-page":"1959","DOI":"10.1007\/s10270-021-00964-0","article-title":"Modelling in low-code development: a multi-vocal systematic review","volume":"21","author":"Bucaioni Alessio","year":"2022","unstructured":"Alessio Bucaioni, Antonio Cicchetti, and Federico Ciccozzi. 2022. Modelling in low-code development: a multi-vocal systematic review. Software and Systems Modeling 21, 5 (2022), 1959\u20131981.","journal-title":"Software and Systems Modeling"},{"key":"e_1_3_2_1_9_1","volume-title":"International Conference on Bridging the Gap between AI and Reality. Springer, 375\u2013390","author":"Busch Daniel","year":"2023","unstructured":"Daniel Busch, Gerrit Nolte, Alexander Bainczyk, and Bernhard Steffen. 2023. ChatGPT in the loop: a natural language extension for domain-specific modeling languages. In International Conference on Bridging the Gap between AI and Reality. Springer, 375\u2013390."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1109\/MS.2022.3211352","article-title":"Low code for smart software development","volume":"40","author":"Cabot Jordi","year":"2022","unstructured":"Jordi Cabot and Robert Claris\u00f3. 2022. Low code for smart software development. IEEE Software 40, 1 (2022), 89\u201393.","journal-title":"IEEE Software"},{"key":"e_1_3_2_1_11_1","volume-title":"International Colloquium on Theoretical Aspects of Computing","author":"Chen Sini","unstructured":"Sini Chen, Huibiao Zhu, Ran Li, Lili Xiao, Jiapeng Wang, Ning Ge, and Xinbin Cao. 2024. Formal Foundations for Efficient Simulation of MOM Systems: The Refinement Calculus for Object-Oriented Event-Graphs. In International Colloquium on Theoretical Aspects of Computing. Springer, 290\u2013309."},{"key":"e_1_3_2_1_12_1","volume-title":"2021 ACM\/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS). IEEE, 308\u2013319","author":"Cooper Justin","year":"2021","unstructured":"Justin Cooper, Alfonso De la Vega, Richard Paige, Dimitris Kolovos, Michael Bennett, Caroline Brown, Beatriz Sanchez Pina, and Horacio Hoyos Rodriguez. 2021. Model-based development of engine control systems: Experiences and lessons learnt. In 2021 ACM\/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS). IEEE, 308\u2013319."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1007\/s10270-021-00970-2","article-title":"Low-code development and model-driven engineering: Two sides of the same coin","volume":"21","author":"Ruscio Davide Di","year":"2022","unstructured":"Davide Di Ruscio, Dimitris Kolovos, Juan de Lara, Alfonso Pierantonio, Massimo Tisi, and Manuel Wimmer. 2022. Low-code development and model-driven engineering: Two sides of the same coin? Software and Systems Modeling 21, 2 (2022), 437\u2013446.","journal-title":"Software and Systems Modeling"},{"key":"e_1_3_2_1_14_1","unstructured":"Engineering and Physical Sciences Research Council. 2023. Programming Language Components and Specifications. https:\/\/plancomps.github.io\/. Accessed: 2024-09-09."},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of the IEEE\/ACM 46th International Conference on Software Engineering. 1\u201312","author":"Feng Nick","year":"2024","unstructured":"Nick Feng, Lina Marsso, Sinem Getir Yaman, Yesugen Baatartogtokh, Reem Ayad, Victoria Oldemburgo De Mello, Beverley Townsend, Isobel Standen, Ioannis Stefanakos, Calum Imrie, et al. 2024. Analyzing and Debugging Normative Requirements via Satisfiability Checking. In Proceedings of the IEEE\/ACM 46th International Conference on Software Engineering. 1\u201312."},{"key":"e_1_3_2_1_16_1","unstructured":"Eclipse Foundation. 2024. Eclipse Sirius Documentation. https:\/\/www.eclipse.org\/sirius\/doc\/ Accessed: 2024-05-14."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","first-page":"102624","DOI":"10.1016\/j.scico.2021.102624","article-title":"RT-MOBS: A compositional observer semantics of time Petri net for real-time property specification language based on \u03bc-calculus","volume":"206","author":"Ge Ning","year":"2021","unstructured":"Ning Ge, Silvano Dal Zilio, Hongyu Liu, Li Zhang, and Lianyi Zhang. 2021. RT-MOBS: A compositional observer semantics of time Petri net for real-time property specification language based on \u03bc-calculus. Science of Computer Programming 206 (2021), 102624.","journal-title":"Science of Computer Programming"},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. 12\u201316","author":"Ge Ning","year":"2022","unstructured":"Ning Ge, Yunduo Wang, Yuan Wang, and Yong Wang. 2022. Towards the practical adoption of LIDL: a toolchain for modeling human-machine interface software interactions. In Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. 12\u201316."},{"key":"e_1_3_2_1_19_1","volume-title":"Sirius Web: Insights in Language Workbenches-An Experience Report. The Journal of Object Technology","author":"Giraudet Th\u00e9o","year":"2024","unstructured":"Th\u00e9o Giraudet, M\u00e9lanie Bats, Arnaud Blouin, Beno\u00eet Combemale, and Pierre-Charles David. 2024. Sirius Web: Insights in Language Workbenches-An Experience Report. The Journal of Object Technology (2024)."},{"key":"e_1_3_2_1_20_1","volume-title":"Marina Rukavitsyna, Qusai Ramadan, and Jan J\u00fcrjens.","author":"Gro\u00dfer Katharina","year":"2024","unstructured":"Katharina Gro\u00dfer, Amir Shayan Ahmadian, Marina Rukavitsyna, Qusai Ramadan, and Jan J\u00fcrjens. 2024. Benchmarking requirement template systems: comparing appropriateness, usability, and expressiveness. Requirements Engineering (2024), 1\u201342."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/s00766-021-00349-1","article-title":"A Game-theoretic approach to analyze interacting actors in GRL goal models","volume":"26","author":"Hassine Jameleddine","year":"2021","unstructured":"Jameleddine Hassine, Dhaker Kroumi, and Daniel Amyot. 2021. A Game-theoretic approach to analyze interacting actors in GRL goal models. Requirements Engineering 26 (2021), 399\u2013422.","journal-title":"Requirements Engineering"},{"key":"e_1_3_2_1_22_1","volume-title":"Simone Gianfranceschi, and Alfonso Pierantonio.","author":"Ihirwe Felicien","year":"2022","unstructured":"Felicien Ihirwe, Davide Di Ruscio, Simone Gianfranceschi, and Alfonso Pierantonio. 2022. Assessing the Quality of Low-Code and Model-driven Engineering Platforms for Engineering IoT Systems. In 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS). IEEE, 583\u2013594."},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings of the ACM\/IEEE 27th International Conference on Model Driven Engineering Languages and Systems. 848\u2013855","author":"Kakkenberg Roy","year":"2024","unstructured":"Roy Kakkenberg, Satrio Adi Rukmono, Michel Chaudron, Wim Gerholt, Miguel Pinto, and Claudio Ribeiro de Oliveira. 2024. Arvisan: an Interactive Tool for Visualisation and Analysis of Low-Code Architecture Landscapes. In Proceedings of the ACM\/IEEE 27th International Conference on Model Driven Engineering Languages and Systems. 848\u2013855."},{"key":"e_1_3_2_1_24_1","volume-title":"An empirical study on catalog of non-functional requirement templates: Usefulness and maintenance issues. Information and software technology 103","author":"Kopczy\u0144ska Sylwia","year":"2018","unstructured":"Sylwia Kopczy\u0144ska, Jerzy Nawrocki, and Miros\u0142aw Ochodek. 2018. An empirical study on catalog of non-functional requirement templates: Usefulness and maintenance issues. Information and software technology 103 (2018), 75\u201391."},{"key":"e_1_3_2_1_25_1","volume-title":"Safety SysML: An Executable Safety-Critical Avionics Requirement Modeling Language. In 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS). IEEE, 388\u2013399","author":"Liu Huiyu","year":"2022","unstructured":"Huiyu Liu, Jing Liu, Wei Yin, Haiying Sun, and Chenchen Yang. 2022. Safety SysML: An Executable Safety-Critical Avionics Requirement Modeling Language. In 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS). IEEE, 388\u2013399."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","first-page":"1645","DOI":"10.1007\/s10270-022-01066-1","article-title":"OSTRICH: a rich template language for low-code development (extended version)","volume":"22","author":"Louren\u00e7o Helder","year":"2023","unstructured":"Helder Louren\u00e7o, Carlos Ferreira, Jo\u00e3o Costa Seco, et al. 2023. OSTRICH: a rich template language for low-code development (extended version). Software and Systems Modeling 22 (2023), 1645\u20131663.","journal-title":"Software and Systems Modeling"},{"key":"e_1_3_2_1_27_1","volume-title":"Embedded Systems Technology: 15th National Conference, ESTC 2017","author":"Ma Weidong","year":"2018","unstructured":"Weidong Ma, Yang Deng, Lixing Xu, Wenfeng Lin, and Zhi Liu. 2018. COSRDL: an event-driven control-oriented system requirement modeling method. In Embedded Systems Technology: 15th National Conference, ESTC 2017, Shenyang, China, November 17\u201319, 2017, Revised Selected Papers 15. Springer, 103\u2013117."},{"key":"e_1_3_2_1_28_1","volume-title":"2020 International Conference on Smart Technologies in Computing, Electrical and Electronics (ICSTCEE). 395\u2013401","author":"Martins Ricardo","year":"2020","unstructured":"Ricardo Martins, Filipe Caldeira, Filipe S\u00e1, Maryam Abbasi, and Pedro Martins. 2020. An overview on how to develop a low-code application using OutSystems. In 2020 International Conference on Smart Technologies in Computing, Electrical and Electronics (ICSTCEE). 395\u2013401."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","first-page":"574","DOI":"10.1016\/j.actaastro.2023.06.027","article-title":"Model-driven engineering for low-code ground support equipment configuration and automatic test procedures definition","volume":"211","author":"Montalvo Aaron","year":"2023","unstructured":"Aaron Montalvo, \u00d3scar R Polo, Pablo Parra, Alberto Carrasco, Antonio da Silva, Agust\u00edn Mart\u00ednez, and Sebasti\u00e1n S\u00e1nchez. 2023. Model-driven engineering for low-code ground support equipment configuration and automatic test procedures definition. Acta Astronautica 211 (2023), 574\u2013591.","journal-title":"Acta Astronautica"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/j.jvlc.2018.11.003","article-title":"Software meta-language engineering and CBS","volume":"50","author":"Mosses Peter D","year":"2019","unstructured":"Peter D Mosses. 2019. Software meta-language engineering and CBS. Journal of Computer Languages 50 (2019), 39\u201348.","journal-title":"Journal of Computer Languages"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/s10270-019-00747-8","article-title":"A security requirements modelling language for cloud computing environments","volume":"19","author":"Mouratidis Haralambos","year":"2020","unstructured":"Haralambos Mouratidis, Shaun Shei, and Aidan Delaney. 2020. A security requirements modelling language for cloud computing environments. Software and Systems Modeling 19, 2 (2020), 271\u2013295.","journal-title":"Software and Systems Modeling"},{"key":"e_1_3_2_1_32_1","first-page":"1","article-title":"Security requirements template-based approach to improve the writing of complete security requirements","volume":"99","author":"Mustafa Nuridawati","year":"2021","unstructured":"Nuridawati Mustafa, Massila Kamalrudin, Safiah Sidek, Anggraini Junia, La Mani, Y Alzyoud Faisal, Nisreen Alsharman, Abdallah Altahan Alnuaimi, Erwin Wijayanto Suherman, Ali Hanafiah Rambe, et al. 2021. Security requirements template-based approach to improve the writing of complete security requirements. Journal of Theoretical and Applied Information Technology 99, 1 (2021), 1\u201312.","journal-title":"Journal of Theoretical and Applied Information Technology"},{"key":"e_1_3_2_1_33_1","volume-title":"Identifying and fixing ambiguities in, and semantically accurate formalisation of, behavioural requirements. Software and Systems Modeling","author":"Nguyen Thuy","year":"2024","unstructured":"Thuy Nguyen, Imen Sayar, Sophie Ebersold, and Jean-Michel Bruel. 2024. Identifying and fixing ambiguities in, and semantically accurate formalisation of, behavioural requirements. Software and Systems Modeling (2024), 1\u201333."},{"key":"e_1_3_2_1_34_1","volume-title":"2021 ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). IEEE, 138\u2013147","author":"Pacheco Jo\u00e3o","year":"2021","unstructured":"Jo\u00e3o Pacheco, Stoyan Garbatov, and Miguel Goul\u00e3o. 2021. Improving collaboration efficiency between ux\/ui designers and developers in a low-code platform. In 2021 ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). IEEE, 138\u2013147."},{"key":"e_1_3_2_1_35_1","unstructured":"Andr\u00e9s Paz and Ghizlane El-Boussaidi. 2017. Landing Gear Control Software: An avionics software development case study."},{"key":"e_1_3_2_1_36_1","volume-title":"Proceedings of the 28th Conference on Pattern Languages of Programs. 1\u201310","author":"Pinho Daniel","year":"2021","unstructured":"Daniel Pinho, Ademar Aguiar, and Vasco Amaral. 2021. Mining Good Practices of Low-Code Software Development from Model-Driven Approaches. In Proceedings of the 28th Conference on Pattern Languages of Programs. 1\u201310."},{"key":"e_1_3_2_1_37_1","volume-title":"Streamlining the development of hybrid graphical-textual model editors","author":"Predoaia Ionut","year":"2023","unstructured":"Ionut Predoaia, Dimitris Kolovos, Matthias Lenk, and Antonio Garc\u00eda-Dom\u00ednguez. 2023. Streamlining the development of hybrid graphical-textual model editors for domain-specific languages. Journal of Object Technology (2023)."},{"key":"e_1_3_2_1_38_1","volume-title":"OCL: Syntax, semantics, and tools. In Object Modeling with the OCL: The Rationale behind the Object Constraint Language","author":"Richters Mark","year":"2002","unstructured":"Mark Richters and Martin Gogolla. 2002. OCL: Syntax, semantics, and tools. In Object Modeling with the OCL: The Rationale behind the Object Constraint Language. Springer, 42\u201368."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1016\/j.jlap.2010.03.012","article-title":"An overview of the K semantic framework","volume":"79","author":"Ros Grigore","year":"2010","unstructured":"Grigore Ros, u and Traian Florin \u015eerb\u0103nut\u0103. 2010. An overview of the K semantic framework. The Journal of Logic and Algebraic Programming 79, 6 (2010), 397\u2013434. Membrane computing and programming.","journal-title":"The Journal of Logic and Algebraic Programming"},{"key":"e_1_3_2_1_40_1","volume-title":"AutoDSL: Automated domain-specific language design for structural representation of procedures with constraints. arXiv preprint arXiv:2406.12324","author":"Shi Yu-Zhe","year":"2024","unstructured":"Yu-Zhe Shi, Haofei Hou, Zhangqian Bi, Fanxu Meng, Xiang Wei, Lecheng Ruan, and Qining Wang. 2024. AutoDSL: Automated domain-specific language design for structural representation of procedures with constraints. arXiv preprint arXiv:2406.12324 (2024)."},{"key":"e_1_3_2_1_41_1","volume-title":"IEEE 18th International Conference on Intelligent Engineering Systems INES 2014. 233\u2013238","author":"Viyovi\u0107 Vladimir","year":"2014","unstructured":"Vladimir Viyovi\u0107, Mirjam Maksimovi\u0107, and Branko Perisi\u0107. 2014. Sirius: A rapid development of DSM graphical editor. In IEEE 18th International Conference on Intelligent Engineering Systems INES 2014. 233\u2013238."},{"key":"e_1_3_2_1_42_1","volume-title":"Grammar prompting for domain-specific language generation with large language models. Advances in Neural Information Processing Systems 36","author":"Wang Bailin","year":"2024","unstructured":"Bailin Wang, Zi Wang, Xuezhi Wang, Yuan Cao, Rif A Saurous, and Yoon Kim. 2024. Grammar prompting for domain-specific language generation with large language models. Advances in Neural Information Processing Systems 36 (2024)."},{"key":"e_1_3_2_1_43_1","volume-title":"2023 IEEE\/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion). IEEE, 16\u201320","author":"Zhai Shumao","year":"2023","unstructured":"Shumao Zhai, Xiaozhou Li, and Ning Ge. 2023. HOME: Heard-Of based Formal Modeling and Verification Environment for Consensus Protocols. In 2023 IEEE\/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion). IEEE, 16\u201320."}],"event":{"name":"FSE Companion '25: 33rd ACM International Conference on the Foundations of Software Engineering","location":"Clarion Hotel Trondheim Trondheim Norway","acronym":"FSE Companion '25","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3696630.3728574","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T19:16:37Z","timestamp":1753730197000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3696630.3728574"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,23]]},"references-count":43,"alternative-id":["10.1145\/3696630.3728574","10.1145\/3696630"],"URL":"https:\/\/doi.org\/10.1145\/3696630.3728574","relation":{},"subject":[],"published":{"date-parts":[[2025,6,23]]},"assertion":[{"value":"2025-07-28","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}