{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,5]],"date-time":"2026-07-05T21:54:00Z","timestamp":1783288440535,"version":"3.54.6"},"reference-count":68,"publisher":"Association for Computing Machinery (ACM)","issue":"FSE","funder":[{"name":"National Science Foundation","award":["CCF-1755890, CCF-1618132, CCF-2139845, CCF-2124"],"award-info":[{"award-number":["CCF-1755890, CCF-1618132, CCF-2139845, CCF-2124"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Proc. ACM Softw. Eng."],"published-print":{"date-parts":[[2025,6,19]]},"abstract":"<jats:p>Optimizing object-relational database mapping (ORM) design is crucial for performance and scalability in modern software systems. However, widely used ORM tools offer limited support for exploring performance tradeoffs, often enforcing a single design and overlooking alternatives, which can lead to suboptimal outcomes. While systematic tradeoff analysis can reveal Pareto-optimal designs, its high computational cost and poor scalability hinder practical adoption.  \nThis paper presents DesignTradeoffSculptor, an extensible tool suite for efficient, scalable tradeoff analysis in ORM database design.  \nLeveraging advanced Transformer-based deep learning models\u2014trained and fine-tuned on formally analyzed database designs\u2014and framing design exploration as a Natural Language Processing task, DesignTradeoffSculptor efficiently identifies and removes suboptimal designs, sharply reducing the number of candidates requiring costly tradeoff analysis.  \nExperiments show that DesignTradeoffSculptor uncovers optimal designs missed by leading ORM tools and improves analysis efficiency by over 98.21%, reducing tradeoff analysis time from 15 days to just 18 minutes, demonstrating the transformative potential of integrating formal methods with deep learning.<\/jats:p>","DOI":"10.1145\/3729344","type":"journal-article","created":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T15:15:34Z","timestamp":1750346134000},"page":"1639-1662","source":"Crossref","is-referenced-by-count":2,"title":["Unlocking Optimal ORM Database Designs: Accelerated Tradeoff Analysis with Transformers"],"prefix":"10.1145","volume":"2","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-3417-4352","authenticated-orcid":false,"given":"Md Rashedul","family":"Hasan","sequence":"first","affiliation":[{"name":"University of Nebraska-Lincoln, Lincoln, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9818-9600","authenticated-orcid":false,"given":"Mohammad Rashedul","family":"Hasan","sequence":"additional","affiliation":[{"name":"University of Nebraska-Lincoln, Lincoln, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6686-466X","authenticated-orcid":false,"given":"Hamid","family":"Bagheri","sequence":"additional","affiliation":[{"name":"University of Nebraska-Lincoln, Lincoln, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,6,19]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","unstructured":"2025. Design Tradeoff Sculptor Experimental Data. https:\/\/doi.org\/10.6084\/m9.figshare.24233629.v21 10.6084\/m9.figshare.24233629.v21","DOI":"10.6084\/m9.figshare.24233629.v21"},{"key":"e_1_2_1_2_1","volume-title":"2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software. 61\u201371","author":"Aleti Aldeida","year":"2009","unstructured":"Aldeida Aleti, Stefan Bjornander, Lars Grunske, and Indika Meedeniya. 2009. ArcheOpterix: An extendable tool for architecture optimization of AADL models. In 2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software. 61\u201371. https:\/\/doi.org\/10.1109\/MOMPES.2009.5069138 10.1109\/MOMPES.2009.5069138"},{"key":"e_1_2_1_3_1","unstructured":"Apache. 2023. FreeMarker. https:\/\/freemarker.apache.org\/"},{"key":"e_1_2_1_4_1","volume-title":"Proceedings of the 1st ACM International Conference on AI-Powered Software (AIware","author":"Azizian Sasan","year":"2024","unstructured":"Sasan Azizian, Elham Rastegari, and Hamid Bagheri. 2024. Leveraging Machine Learning for Optimal Object-Relational Database Mapping in Software Systems. In Proceedings of the 1st ACM International Conference on AI-Powered Software (AIware 2024). Association for Computing Machinery, New York, NY, USA. 94\u2013102. isbn:9798400706851 https:\/\/doi.org\/10.1145\/3664646.3664769 10.1145\/3664646.3664769"},{"key":"e_1_2_1_5_1","volume-title":"Proceedings of the 24th International Conference on Software Engineering and Knowledge Engineering (SEKE 2012","author":"Bagheri Hamid","year":"2012","unstructured":"Hamid Bagheri, Kevin J. Sullivan, and Sang H. Son. 2012. Spacemaker: Practical Formal Synthesis of Tradeoff Spaces for Object-Relational Mapping. In Proceedings of the 24th International Conference on Software Engineering and Knowledge Engineering (SEKE 2012). Knowledge Systems Institute Graduate School, Redwood City, San Francisco Bay, USA. 688\u2013693. isbn:1-891706-31-4 http:\/\/ksiresearchorg.ipage.com\/seke\/Proceedings\/seke\/SEKE2012_Proceedings.pdf"},{"key":"e_1_2_1_6_1","volume-title":"36th International Conference on Software Engineering, ICSE \u201914","author":"Bagheri Hamid","year":"2014","unstructured":"Hamid Bagheri, Chong Tang, and Kevin J. Sullivan. 2014. TradeMaker: automated dynamic analysis of synthesized tradespaces. In 36th International Conference on Software Engineering, ICSE \u201914, Hyderabad, India - May 31 - June 07, 2014. 106\u2013116. https:\/\/doi.org\/10.1145\/2568225.2568291 10.1145\/2568225.2568291"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2587646"},{"key":"e_1_2_1_8_1","volume-title":"Neural Machine Translation by Jointly Learning to Align and Translate. CoRR, abs\/1409.0473","author":"Bahdanau Dzmitry","year":"2014","unstructured":"Dzmitry Bahdanau, Kyunghyun Cho, and Yoshua Bengio. 2014. Neural Machine Translation by Jointly Learning to Align and Translate. CoRR, abs\/1409.0473 (2014), https:\/\/api.semanticscholar.org\/CorpusID:11212020"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.3233\/sat190098"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2306.07536"},{"key":"e_1_2_1_11_1","volume-title":"Proceedings of the 6th International Workshop on Software and Performance (WOSP \u201907)","author":"Bondarev Egor","unstructured":"Egor Bondarev, Michel R. V. Chaudron, and Erwin A. de Kock. 2007. Exploring Performance Trade-offs of a JPEG Decoder Using the DeepCompass Framework. In Proceedings of the 6th International Workshop on Software and Performance (WOSP \u201907). 153\u2013163. https:\/\/doi.org\/10.1145\/1216993.1217020 10.1145\/1216993.1217020"},{"key":"e_1_2_1_12_1","article-title":"PaLM: Scaling Language Modeling with Pathways","volume":"24","author":"Chowdhery Aakanksha","year":"2023","unstructured":"Aakanksha Chowdhery, Sharan Narang, Jacob Devlin, Maarten Bosma, Gaurav Mishra, Adam Roberts, Paul Barham, Hyung Won Chung, Charles Sutton, Sebastian Gehrmann, Parker Schuh, Kensen Shi, Sashank Tsvyashchenko, Joshua Maynez, Abhishek Rao, Parker Barnes, Yi Tay, Noam Shazeer, Vinodkumar Prabhakaran, Emily Reif, Nan Du, Ben Hutchinson, Reiner Pope, James Bradbury, Jacob Austin, Michael Isard, Guy Gur-Ari, Pengcheng Yin, Toju Duke, Anselm Levskaya, Sanjay Ghemawat, Sunipa Dev, Henryk Michalewski, Xavier Garcia, Vedant Misra, Kevin Robinson, Liam Fedus, Denny Zhou, Daphne Ippolito, David Luan, Hyeontaek Lim, Barret Zoph, Alexander Spiridonov, Ryan Sepassi, David Dohan, Shivani Agrawal, Mark Omernick, Andrew M. Dai, Thanumalayan Sankaranarayana Pillai, Marie Pellat, Aitor Lewkowycz, Erica Moreira, Rewon Child, Oleksandr Polozov, Katherine Lee, Zongwei Zhou, Xuezhi Wang, Brennan Saeta, Mark Diaz, Orhan Firat, Michele Catasta, Jason Wei, Kathy Meier-Hellstern, Douglas Eck, Jeff Dean, Slav Petrov, and Noah Fiedel. 2023. PaLM: Scaling Language Modeling with Pathways. Journal of Machine Learning Research, 24, 1 (2023), Jan., 240:1\u2013240:113. https:\/\/dl.acm.org\/doi\/pdf\/10.5555\/3648699.3648939","journal-title":"Journal of Machine Learning Research"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.4018\/JDM.2020100101"},{"key":"e_1_2_1_14_1","unstructured":"Koha Community. 2025. Koha Library Management System. https:\/\/koha-community.org\/ An open source system coordinating book loans and library operations. Accessed: 2025-02-23."},{"key":"e_1_2_1_15_1","unstructured":"DB-Engines. 2024. DB-Engines Ranking. https:\/\/db-engines.com\/en\/ranking"},{"key":"e_1_2_1_16_1","volume-title":"BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding. arxiv:1810.04805.","author":"Devlin Jacob","year":"2019","unstructured":"Jacob Devlin, Ming-Wei Chang, Kenton Lee, and Kristina Toutanova. 2019. BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding. arxiv:1810.04805."},{"key":"e_1_2_1_17_1","unstructured":"DjangoORM. 2023. Django ORM website. https:\/\/docs.djangoproject.com\/en\/4.2\/ref\/databases\/"},{"key":"e_1_2_1_18_1","unstructured":"Steve Ebersole Gail Badner Andrea Boriero and Sanne Grinovero. 2023. Hibernate website. https:\/\/hibernate.org\/orm\/"},{"key":"e_1_2_1_19_1","doi-asserted-by":"crossref","unstructured":"Zhangyin Feng Daya Guo Duyu Tang Nan Duan Xiaocheng Feng Ming Gong Linjun Shou Bing Qin Ting Liu Daxin Jiang and Ming Zhou. 2020. CodeBERT: A Pre-Trained Model for Programming and Natural Languages. arxiv:2002.08155.","DOI":"10.18653\/v1\/2020.findings-emnlp.139"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.32604\/cmc.2022.019884"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2022.3140510"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2016.12.035"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41822-8_33"},{"key":"e_1_2_1_24_1","doi-asserted-by":"crossref","unstructured":"Jeremy Howard and Sebastian Ruder. 2018. Universal Language Model Fine-tuning for Text Classification. arxiv:1801.06146.","DOI":"10.18653\/v1\/P18-1031"},{"key":"e_1_2_1_25_1","unstructured":"Umair Inayat. 2025. Banking Management System. https:\/\/github.com\/umairinayat\/Banking-management-system Open source project handling customer data accounts and loans. Accessed: 2025-02-23."},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","unstructured":"Christopher Ireland David Bowers Michael Newton and Kevin Waugh. 2009. A Classification of Object-Relational Impedance Mismatch. In First International Confernce on Advances in Databases Knowledge and Data Applications. 36\u201343. https:\/\/doi.org\/10.1109\/DBKDA.2009.11 10.1109\/DBKDA.2009.11","DOI":"10.1109\/DBKDA.2009.11"},{"key":"e_1_2_1_27_1","volume-title":"International Conference on Advances in Databases, Knowledge, and Data Applications. https:\/\/api.semanticscholar.org\/CorpusID:15259792","author":"Ireland Christopher","unstructured":"Christopher Ireland and David S. Bowers. 2015. Exposing the Myth: Object-Relational Impedance Mismatch is a Wicked Problem. In International Conference on Advances in Databases, Knowledge, and Data Applications. https:\/\/api.semanticscholar.org\/CorpusID:15259792"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"key":"e_1_2_1_29_1","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"Jackson Daniel","year":"2012","unstructured":"Daniel Jackson. 2012. Software Abstractions: Logic, Language, and Analysis (2nd ed.). MIT Press. isbn:9780262017152 https:\/\/mitpress.mit.edu\/9780262017152\/software-abstractions\/","edition":"2"},{"key":"e_1_2_1_30_1","volume-title":"CURE: Code-Aware Neural Machine Translation for Automatic Program Repair. In 43rd IEEE\/ACM International Conference on Software Engineering, ICSE 2021","author":"Jiang Nan","year":"2021","unstructured":"Nan Jiang, Thibaud Lutellier, and Lin Tan. 2021. CURE: Code-Aware Neural Machine Translation for Automatic Program Repair. In 43rd IEEE\/ACM International Conference on Software Engineering, ICSE 2021, Madrid, Spain, 22-30 May 2021. IEEE, 1161\u20131173. https:\/\/doi.org\/10.1109\/ICSE43902.2021.00107 10.1109\/ICSE43902.2021.00107"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21292-5_3"},{"key":"e_1_2_1_32_1","volume-title":"Kingma and Jimmy Ba","author":"Diederik","year":"2017","unstructured":"Diederik P. Kingma and Jimmy Ba. 2017. Adam: A Method for Stochastic Optimization. arxiv:1412.6980."},{"key":"e_1_2_1_33_1","unstructured":"Sean Lau. 2006. Domain Analysis of E-Commerce Systems Using Feature-Based Model Templates. https:\/\/api.semanticscholar.org\/CorpusID:124032412"},{"key":"e_1_2_1_34_1","volume-title":"Decoupled Weight Decay Regularization. In International Conference on Learning Representations. https:\/\/openreview.net\/forum?id=Bkg6RiCqY7","author":"Loshchilov Ilya","year":"2019","unstructured":"Ilya Loshchilov and Frank Hutter. 2019. Decoupled Weight Decay Regularization. In International Conference on Learning Representations. https:\/\/openreview.net\/forum?id=Bkg6RiCqY7"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tics.2024.01.011"},{"key":"e_1_2_1_36_1","volume-title":"Proceedings of the First Joint WOSP\/SIPEW International Conference on Performance Engineering (WOSP\/SIPEW \u201910)","author":"Martens Anne","year":"2010","unstructured":"Anne Martens, Heiko Koziolek, Steffen Becker, and Ralf Reussner. 2010. Automatically improve software architecture models for performance, reliability, and cost using evolutionary algorithms. In Proceedings of the First Joint WOSP\/SIPEW International Conference on Performance Engineering (WOSP\/SIPEW \u201910). Association for Computing Machinery, New York, NY, USA. 105\u2013116. isbn:9781605585635 https:\/\/doi.org\/10.1145\/1712605.1712624 10.1145\/1712605.1712624"},{"key":"e_1_2_1_37_1","unstructured":"Meta AI. 2024. Introducing Llama 3. https:\/\/ai.meta.com\/blog\/meta-llama-3\/"},{"key":"e_1_2_1_38_1","unstructured":"Microsoft. 2020. Entity Framework documentation. https:\/\/docs.microsoft.com\/en-us\/ef\/"},{"key":"e_1_2_1_39_1","volume-title":"USA","author":"Nelson Tim","year":"2013","unstructured":"Tim Nelson, Salman Saghafi, Daniel J. Dougherty, Kathi Fisler, and Shriram Krishnamurthi. 2013. Aluminum: principled scenario exploration through minimality. In ICSE \u201913, San Francisco, CA, USA, May 18-26, 2013, David Notkin, Betty H. C. Cheng, and Klaus Pohl (Eds.). IEEE Computer Society, 232\u2013241. https:\/\/doi.org\/10.1109\/ICSE.2013.6606569 10.1109\/ICSE.2013.6606569"},{"key":"e_1_2_1_40_1","unstructured":"nopCommerce Team. 2025. nopCommerce. https:\/\/github.com\/nopSolutions\/nopCommerce A free and open source e\u2011commerce platform providing core online store functionality. Accessed: 2025-02-23."},{"key":"e_1_2_1_41_1","unstructured":"OpenAI. 2024. GPT-4 Technical Report. arxiv:2303.08774."},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44303-3_12"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-95582-7_34"},{"key":"e_1_2_1_45_1","article-title":"Exploring the limits of transfer learning with a unified text-to-text transformer","volume":"21","author":"Raffel Colin","year":"2020","unstructured":"Colin Raffel, Noam Shazeer, Adam Roberts, Katherine Lee, Sharan Narang, Michael Matena, Yanqi Zhou, Wei Li, and Peter J. Liu. 2020. Exploring the limits of transfer learning with a unified text-to-text transformer. J. Mach. Learn. Res., 21, 1 (2020), Article 140, Jan., 67 pages. issn:1532-4435 https:\/\/dl.acm.org\/doi\/abs\/10.5555\/3455716.3455856","journal-title":"J. Mach. Learn. Res."},{"key":"e_1_2_1_46_1","volume-title":"Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing (EMNLP). Association for Computational Linguistics, Online. 5418\u20135426","author":"Roberts Adam","year":"2020","unstructured":"Adam Roberts, Colin Raffel, and Noam Shazeer. 2020. How Much Knowledge Can You Pack Into the Parameters of a Language Model? In Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing (EMNLP). Association for Computational Linguistics, Online. 5418\u20135426. https:\/\/doi.org\/10.18653\/v1\/2020.emnlp-main.437 10.18653\/v1\/2020.emnlp-main.437"},{"key":"e_1_2_1_47_1","volume-title":"Proceedings of the 19th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS \u201914)","author":"Schulte Eric","year":"2014","unstructured":"Eric Schulte, Jonathan Dorn, Stephen Harding, Stephanie Forrest, and Westley Weimer. 2014. Post-compiler Software Optimization for Reducing Energy. In Proceedings of the 19th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS \u201914). ACM, New York, NY, USA. isbn:978-1-4503-2305-5"},{"key":"e_1_2_1_48_1","unstructured":"SQLAlchemy. 2023. SQLAlchemy website. https:\/\/www.sqlalchemy.org\/"},{"key":"e_1_2_1_49_1","unstructured":"Statista. 2024. Ranking of the most popular database management systems worldwide. https:\/\/www.statista.com\/statistics\/809750\/worldwide-popularity-ranking-database-management-systems\/"},{"key":"e_1_2_1_50_1","volume-title":"Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering (ICSE \u201920)","author":"Stevens Clay","year":"2020","unstructured":"Clay Stevens and Hamid Bagheri. 2020. Reducing run-time adaptation space via analysis of possible utility bounds. In Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering (ICSE \u201920). Association for Computing Machinery, New York, NY, USA. 1522\u20131534. isbn:9781450371216 https:\/\/doi.org\/10.1145\/3377811.3380365 10.1145\/3377811.3380365"},{"key":"e_1_2_1_51_1","volume-title":"Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA","author":"Stevens Clay","year":"2022","unstructured":"Clay Stevens and Hamid Bagheri. 2022. Combining solution reuse and bound tightening for efficient analysis of evolving systems. In Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2022). Association for Computing Machinery, New York, NY, USA. 89\u2013100. isbn:9781450393799 https:\/\/doi.org\/10.1145\/3533767.3534399 10.1145\/3533767.3534399"},{"key":"e_1_2_1_52_1","volume-title":"Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE","author":"Stevens Clay","year":"2022","unstructured":"Clay Stevens and Hamid Bagheri. 2022. Parasol: efficient parallel synthesis of large model spaces. In Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE 2022). Association for Computing Machinery, New York, NY, USA. 620\u2013632. isbn:9781450394130 https:\/\/doi.org\/10.1145\/3540250.3549157 10.1145\/3540250.3549157"},{"key":"e_1_2_1_53_1","volume-title":"Proceedings of the IEEE\/ACM 46th International Conference on Software Engineering (ICSE \u201924)","author":"Stevens Clay","year":"2024","unstructured":"Clay Stevens and Hamid Bagheri. 2024. Scalable Relational Analysis via Relational Bound Propagation. In Proceedings of the IEEE\/ACM 46th International Conference on Software Engineering (ICSE \u201924). Association for Computing Machinery, New York, NY, USA. Article 177, 12 pages. isbn:9798400702174 https:\/\/doi.org\/10.1145\/3597503.3639171 10.1145\/3597503.3639171"},{"key":"e_1_2_1_54_1","volume-title":"ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings, Yamine A\u00eft Ameur and Shengchao Qin (Eds.) (Lecture Notes in Computer Science","volume":"352","author":"Sullivan Allison","year":"2019","unstructured":"Allison Sullivan, Darko Marinov, and Sarfraz Khurshid. 2019. Solution Enumeration Abstraction: A Modeling Idiom to Enhance a Lightweight Formal Method. In Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings, Yamine A\u00eft Ameur and Shengchao Qin (Eds.) (Lecture Notes in Computer Science, Vol. 11852). Springer, 336\u2013352. https:\/\/doi.org\/10.1007\/978-3-030-32409-4_21 10.1007\/978-3-030-32409-4_21"},{"key":"e_1_2_1_55_1","volume-title":"2017 IEEE\/ACM 39th International Conference on Software Engineering Companion (ICSE-C). 353\u2013355","author":"Tang Chong","year":"2017","unstructured":"Chong Tang, Hamid Bagheri, Sarun Paisarnsrisomsuk, and Kevin Sullivan. 2017. Towards Designing Effective Data Persistence through Tradeoff Space Analysis. In 2017 IEEE\/ACM 39th International Conference on Software Engineering Companion (ICSE-C). 353\u2013355. https:\/\/doi.org\/10.1109\/ICSE-C.2017.106 10.1109\/ICSE-C.2017.106"},{"key":"e_1_2_1_56_1","unstructured":"Vinny J. Thompson. 2025. mySDB: An Open Source Boy Scout Database. https:\/\/github.com\/vinnyjth\/mySDB"},{"key":"e_1_2_1_57_1","volume-title":"44th IEEE\/ACM 44th International Conference on Software Engineering, ICSE 2022","author":"Thongtanunam Patanamon","year":"2022","unstructured":"Patanamon Thongtanunam, Chanathip Pornprasit, and Chakkrit Tantithamthavorn. 2022. AutoTransform: Automated Code Transformation to Support Modern Code Review Process. In 44th IEEE\/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022. ACM, 237\u2013248. https:\/\/doi.org\/10.1145\/3510003.3510067 10.1145\/3510003.3510067"},{"key":"e_1_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_49"},{"key":"e_1_2_1_59_1","unstructured":"Hugo Touvron Thibaut Lavril Gautier Izacard Xavier Martinet Marie-Anne Lachaux Timoth\u00e9e Lacroix Baptiste Rozi\u00e8re Naman Goyal Eric Hambro Faisal Azhar Aurelien Rodriguez Armand Joulin Edouard Grave and Guillaume Lample. 2023. LLaMA: Open and Efficient Foundation Language Models. arxiv:2302.13971."},{"key":"e_1_2_1_60_1","volume-title":"Proceedings of the 31st International Conference on Neural Information Processing Systems (NIPS\u201917)","author":"Vaswani Ashish","year":"2017","unstructured":"Ashish Vaswani, Noam Shazeer, Niki Parmar, Jakob Uszkoreit, Llion Jones, Aidan N. Gomez, \u0141 ukasz Kaiser, and Illia Polosukhin. 2017. Attention is all you need. In Proceedings of the 31st International Conference on Neural Information Processing Systems (NIPS\u201917). Curran Associates Inc., Red Hook, NY, USA. 6000\u20136010. isbn:9781510860964 https:\/\/dl.acm.org\/doi\/10.5555\/3295222.3295349"},{"key":"e_1_2_1_61_1","volume-title":"Proceedings of the 33rd ACM\/IEEE International Conference on Automated Software Engineering (ASE\u201918)","author":"Wang Jianghao","unstructured":"Jianghao Wang, Hamid Bagheri, and Myra B. Cohen. 2018. An evolutionary approach for analyzing Alloy specifications. In Proceedings of the 33rd ACM\/IEEE International Conference on Automated Software Engineering (ASE\u201918). Association for Computing Machinery, New York, NY, USA. 820\u2013825. isbn:9781450359375 https:\/\/doi.org\/10.1145\/3238147.3240468 10.1145\/3238147.3240468"},{"key":"e_1_2_1_62_1","doi-asserted-by":"publisher","unstructured":"Jianghao Wang Clay Stevens Brooke Kidmose Myra B. Cohen and Hamid Bagheri. 2024. Evolutionary Analysis of Alloy Specifications with an Adaptive Fitness Function. In Search-Based Software Engineering Gunel Jahangirova and Foutse Khomh (Eds.). Springer Nature Switzerland Cham. 1\u201317. isbn:978-3-031-64573-0 https:\/\/doi.org\/10.1007\/978-3-031-64573-0_1 10.1007\/978-3-031-64573-0_1","DOI":"10.1007\/978-3-031-64573-0_1"},{"key":"e_1_2_1_63_1","volume-title":"Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), ACL 2022","author":"Wang Wenxuan","year":"2022","unstructured":"Wenxuan Wang, Wenxiang Jiao, Yongchang Hao, Xing Wang, Shuming Shi, Zhaopeng Tu, and Michael R. Lyu. 2022. Understanding and Improving Sequence-to-Sequence Pretraining for Neural Machine Translation. In Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), ACL 2022, Dublin, Ireland, May 22-27, 2022, Smaranda Muresan, Preslav Nakov, and Aline Villavicencio (Eds.). Association for Computational Linguistics, 2591\u20132600. https:\/\/doi.org\/10.18653\/v1\/2022.acl-long.185 10.18653\/v1\/2022.acl-long.185"},{"key":"e_1_2_1_64_1","volume-title":"Hoi","author":"Wang Yue","year":"2021","unstructured":"Yue Wang, Weishi Wang, Shafiq Joty, and Steven C. H. Hoi. 2021. CodeT5: Identifier-aware Unified Pre-trained Encoder-Decoder Models for Code Understanding and Generation. arxiv:2109.00859."},{"key":"e_1_2_1_65_1","volume-title":"Quoc V. Le, and Denny Zhou.","author":"Wei Jason","year":"2022","unstructured":"Jason Wei, Xuezhi Wang, Dale Schuurmans, Maarten Bosma, Brian Ichter, Fei Xia, Ed H. Chi, Quoc V. Le, and Denny Zhou. 2022. Chain-of-Thought Prompting Elicits Reasoning in Large Language Models. In Advances in Neural Information Processing Systems 35 (NeurIPS 2022). Curran Associates, Inc., 24824\u201324837. https:\/\/dl.acm.org\/doi\/10.5555\/3600270.3602070"},{"key":"e_1_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-45234-6_2"},{"key":"e_1_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1109\/4235.797969"},{"key":"e_1_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2003.810758"}],"container-title":["Proceedings of the ACM on Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3729344","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T15:34:22Z","timestamp":1750347262000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3729344"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,19]]},"references-count":68,"journal-issue":{"issue":"FSE","published-print":{"date-parts":[[2025,6,19]]}},"alternative-id":["10.1145\/3729344"],"URL":"https:\/\/doi.org\/10.1145\/3729344","relation":{},"ISSN":["2994-970X"],"issn-type":[{"value":"2994-970X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,6,19]]}}}