{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,29]],"date-time":"2026-06-29T17:48:06Z","timestamp":1782755286510,"version":"3.54.5"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T00:00:00Z","timestamp":1738368000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T00:00:00Z","timestamp":1745884800000},"content-version":"vor","delay-in-days":87,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100016378","name":"Technische Universit\u00e4t Dortmund","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100016378","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2025,2]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>This paper illustrates the power of extending Language Driven Engineering (LDE) with Domain-Specific Natural Languages (DSNLs) through a case study on two levels. Both cases benefit from the characteristic decomposition feature of LDE, resulting in tasks tailored to the application of domain-specific languages, here with a focus on the application of DSNLs supported by LLM-based code generation. In the first case study, we show how DSNL-supported LDE facilitates the development of point-and-click adventures, whereas the second case study focuses on migration: We demonstrate how the entire LDE scenario for point-and-click adventure games can be migrated to output TypeScript instead of JavaScript using LLM-based code generation exclusively, without manually writing any code. This migration not only infers the required types, but also preserves an important property of the original LDE scenario: generated web applications can be automatically validated by design via automata learning and subsequent model checking. Even better, this property can be exploited to automatically validate the correctness of the migration by learning so-called <jats:italic>difference automata<\/jats:italic> that characterize the behavioral differences between the generated JavaScript-based and Type-Script-based applications.<\/jats:p>","DOI":"10.1007\/s10009-025-00798-x","type":"journal-article","created":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T15:19:30Z","timestamp":1745939970000},"page":"137-147","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["LLM-based code generation and system migration in language-driven engineering"],"prefix":"10.1007","volume":"27","author":[{"given":"Daniel","family":"Busch","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alexander","family":"Bainczyk","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Steven","family":"Smyth","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,4,29]]},"reference":[{"key":"798_CR1","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-642-16573-3_14","volume-title":"IFIP International Conference on Testing Software and Systems","author":"F. Aarts","year":"2010","unstructured":"Aarts, F., Jonsson, B., Uijen, J.: Generating models of infinite-state communication protocols using regular inference with abstraction. In: IFIP International Conference on Testing Software and Systems, pp.\u00a0188\u2013204. Springer, Berlin (2010)"},{"key":"798_CR2","doi-asserted-by":"crossref","unstructured":"Angluin, D.: Learning regular sets from queries and counterexamples. 75(2), 87\u2013106 (1987)","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"798_CR3","unstructured":"Bainczyk, A.: Simplicity-oriented lifelong learning of web applications. PhD thesis, TU Dortmund University, Dortmund (2023)"},{"key":"798_CR4","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-319-68270-9_7","volume-title":"ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday","author":"A. Bainczyk","year":"2017","unstructured":"Bainczyk, A., Schieweck, A., Steffen, B., Howar, F.: Model-based testing without models: the TodoMVC case study. In: Katoen, J.-P., Langerak, R., Rensink, A. (eds.) ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, pp.\u00a0125\u2013144. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-68270-9_7"},{"key":"798_CR5","isbn-type":"print","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/978-3-031-19756-7_22","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering","author":"A. Bainczyk","year":"2022","unstructured":"Bainczyk, A., Bo\u00dfelmann, S., Krause, M., Krumrey, M., Wirkner, D., Steffen, B.: Towards continuous quality control in the context of language-driven engineering. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, pp.\u00a0389\u2013406. Springer Nature Switzerland, Cham (2022). isbn: 978-3-031-19756-7","ISBN":"https:\/\/id.crossref.org\/isbn\/9783031197567"},{"key":"798_CR6","first-page":"407","volume-title":"International Symposium on Leveraging Applications of Formal Methods","author":"A. Bainczyk","year":"2022","unstructured":"Bainczyk, A., Busch, D., Krumrey, M., Mitwalli, D.S., Sch\u00fcrmann, J., Dongmo, J.T., Steffen, B.: CINCO cloud: a holistic approach for web-based language-driven engineering. In: International Symposium on Leveraging Applications of Formal Methods, pp.\u00a0407\u2013425. Springer, Berlin (2022)"},{"key":"798_CR7","isbn-type":"print","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/978-3-031-08166-8_3","volume-title":"The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner H\u00e4hnle on the Occasion of His 60th Birthday","author":"A. Bainczyk","year":"2022","unstructured":"Bainczyk, A., Steffen, B., Howar, F.: Lifelong learning of reactive systems in practice. In: Ahrendt, W., Beckert, B., Bubel, R., Johnsen, E.B. (eds.) The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner H\u00e4hnle on the Occasion of His 60th Birthday, pp.\u00a038\u201353. Springer, Cham (2022). isbn: 978-3-031-08166-8. https:\/\/doi.org\/10.1007\/978-3-031-08166-8_3","ISBN":"https:\/\/id.crossref.org\/isbn\/9783031081668"},{"key":"798_CR8","doi-asserted-by":"crossref","unstructured":"Belzner, L., Gabor, T., Wirsing, M.: Large language model assisted software engineering: prospects, challenges, and a case study this. Int. J. Softw. Tools Technol. Transf. Special Issue: ECBS (2023)","DOI":"10.1007\/978-3-031-46002-9_23"},{"key":"798_CR9","doi-asserted-by":"publisher","unstructured":"Bo\u00dfelmann, S.: Evolution of ecosystems for language-driven engineering. PhD thesis, TU Dortmund University, Dortmund (2023). https:\/\/doi.org\/10.17877\/DE290R-23218","DOI":"10.17877\/DE290R-23218"},{"key":"798_CR10","series-title":"Lecture Notes of Computer Science.","volume-title":"ChatGPT in the Loop - a Natural Language Extension for Domain-Specific Modeling Languages","author":"D. Busch","year":"2023","unstructured":"Busch, D., Nolte, G., Bainczyk, A., Steffen, B.: ChatGPT in the Loop - a Natural Language Extension for Domain-Specific Modeling Languages. Lecture Notes of Computer Science., vol.\u00a014380. Springer, Berlin (2023)"},{"key":"798_CR11","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2305.14752","volume-title":"A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification","author":"Y. Charalambous","year":"2023","unstructured":"Charalambous, Y., Tihanyi, N., Jain, R., Sun, Y., Ferrag, M.A., Cordeiro, L.: A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification (2023). https:\/\/doi.org\/10.48550\/arXiv.2305.14752"},{"key":"798_CR12","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst. 8, 244\u2013263 (1986). issn: 0164-0925. https:\/\/doi.org\/10.1145\/5397.5399.","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"798_CR13","unstructured":"Feng, G., Zhang, B., Gu, Y., Ye, H., He, D., Wang, L.: Towards revealing the mystery behind chain of thought: a theoretical perspective. Adv. Neural Inf. Process. Syst. 36 (2024)"},{"key":"798_CR14","unstructured":"GitHub Copilot. https:\/\/copilot.github.com\/ (2023). Accessed 21 July 2023"},{"key":"798_CR15","doi-asserted-by":"publisher","first-page":"971","DOI":"10.1109\/TEST.2003.1271205","volume-title":"Test Conference, 2003. Proceedings. ITC 2003. International","author":"H. Hungar","year":"2003","unstructured":"Hungar, H., Margaria, T., Steffen, B.: Test-based model generation for legacy systems. In: Test Conference, 2003. Proceedings. ITC 2003. International, vol.\u00a01, pp.\u00a0971\u2013980 (2003). https:\/\/doi.org\/10.1109\/TEST.2003.1271205"},{"key":"798_CR16","first-page":"22199","volume":"35","author":"T. Kojima","year":"2022","unstructured":"Kojima, T., Gu, S.S., Reid, M., Matsuo, Y., Iwasawa, Y.: Large language models are zero-shot reasoners. Adv. Neural Inf. Process. Syst. 35, 22199\u201322213 (2022)","journal-title":"Adv. Neural Inf. Process. Syst."},{"key":"798_CR17","first-page":"66","volume-title":"Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III","author":"M. Krumrey","year":"2024","unstructured":"Krumrey, M., Bainczyk, A., Howar, F., Steffen, B.: Malwa: learnability by design. In: Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III, pp.\u00a066\u201388. Springer, Berlin (2024)"},{"key":"798_CR18","doi-asserted-by":"publisher","first-page":"1035","DOI":"10.1145\/3540250.3549081","volume-title":"Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","author":"Z. Li","year":"2022","unstructured":"Li, Z., Lu, S., Guo, D., Duan, N., Jannu, S., Jenks, G., Majumder, D., Green, J., Svyatkovskiy, A., Fu, S., et al.: Automating code review activities by large-scale pre-training. In: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp.\u00a01035\u20131047 (2022)"},{"key":"798_CR19","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1007\/978-3-030-03418-4_31","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I 8","author":"M. Lybecait","year":"2018","unstructured":"Lybecait, M., Kopetzki, D., Zweihoff, P., Fuhge, A., Naujokat, S., Steffen, B.: A tutorial introduction to graphical modeling and metamodeling with CINCO. In: Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I 8, pp.\u00a0519\u2013538. Springer, Berlin (2018)"},{"key":"798_CR20","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1007\/s10009-014-0321-6","volume":"16","author":"J. Neubauer","year":"2014","unstructured":"Neubauer, J., Windm\u00fcller, S., Steffen, B.: Risk-based testing via active continuous quality control. Int. J. Softw. Tools Technol. Transf. 16, 569\u2013591 (2014). https:\/\/doi.org\/10.1007\/s10009-014-0321-6","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"798_CR21","volume-title":"Advances in Neural Information Processing Systems","author":"M. Pourreza","year":"2024","unstructured":"Pourreza, M., Rafiei, D.: Din-sql: decomposed in-context learning of text-to-sql with self-correction. In: Advances in Neural Information Processing Systems, vol.\u00a036 (2024)"},{"key":"798_CR22","series-title":"Lecture Notes in Computer Science.","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/978-3-540-77966-7_13","volume-title":"Hardware and Software: Verification and Testing","author":"H. Raffelt","year":"2008","unstructured":"Raffelt, H., Steffen, B., Margaria, T.: Dynamic testing via automata learning. In: Yorav, K. (ed.) Hardware and Software: Verification and Testing. Lecture Notes in Computer Science., vol.\u00a04899, pp.\u00a0136\u2013152. Springer, Berlin (2008). https:\/\/doi.org\/10.1007\/978-3-540-77966-7_13"},{"key":"798_CR23","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/s10009-009-0120-7","volume":"11","author":"H. Raffelt","year":"2009","unstructured":"Raffelt, H., Merten, M., Steffen, B., Margaria, T.: Dynamic testing via automata learning. Int. J. Softw. Tools Technol. Transf. 11, 307\u2013324 (2009). issn: 1433-2779. https:\/\/doi.org\/10.1007\/s10009-009-0120-7","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"798_CR24","unstructured":"Richards, T.B.: Auto-GPT: an autonomous GPT-4 experiment. https:\/\/github.com\/Significant-Gravitas\/Auto-GPT (2023). Accessed 21\/07\/2023"},{"key":"798_CR25","doi-asserted-by":"crossref","unstructured":"Sobania, D., Briesch, M., Hanna, C., Petke, J.: An analysis of the automatic bug fixing performance of chatgpt (2023). arXiv preprint. arXiv:2301.08653","DOI":"10.1109\/APR59189.2023.00012"},{"key":"798_CR26","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-319-91908-9_17","volume-title":"Computing and Software Science: State of the Art and Perspectives","author":"B. Steffen","year":"2019","unstructured":"Steffen, B., Gossen, F., Naujokat, S., Margaria, T.: Language-driven engineering: from general-purpose to purpose-specific languages. In: Computing and Software Science: State of the Art and Perspectives, pp.\u00a0311\u2013344 (2019)"},{"key":"798_CR27","unstructured":"Steffen, B., Margaria, T., Bainczyk, A., Bo\u00dfelmann, S., Busch, D., Driessen, M., Frohme, M., Howar, F., J\u00f6rges, S., Krause, M., et\u00a0al.: Language-driven engineering an interdisciplinary software development paradigm (2024). arXiv preprint. arXiv:2402.10684"},{"key":"798_CR28","unstructured":"Tian, H., Lu, W., Li, T.O., Tang, X., Cheung, S.-C., Klein, J., Bissyand\u00e9, T.F.: Is ChatGPT the ultimate programming assistant\u2013how far is it? (2023). arXiv preprint. arXiv:2304.11938"},{"key":"798_CR29","first-page":"1","volume-title":"Chi Conference on Human Factors in Computing Systems Extended Abstracts","author":"P. Vaithilingam","year":"2022","unstructured":"Vaithilingam, P., Zhang, T., Glassman, E.L.: Expectation vs. experience: evaluating the usability of code generation tools powered by large language models. In: Chi Conference on Human Factors in Computing Systems Extended Abstracts, pp.\u00a01\u20137 (2022)"},{"key":"798_CR30","first-page":"24824","volume":"35","author":"J. Wei","year":"2022","unstructured":"Wei, J., Wang, X., Schuurmans, D., Bosma, M., Xia, F., Chi, E., Le, Q.V., Zhou, D., et al.: Chain-of-thought prompting elicits reasoning in large language models. Adv. Neural Inf. Process. Syst. 35, 24824\u201324837 (2022)","journal-title":"Adv. Neural Inf. Process. Syst."},{"key":"798_CR31","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1145\/2465449.2465469","volume-title":"Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering. CBSE\u201913","author":"S. Windm\u00fcller","year":"2013","unstructured":"Windm\u00fcller, S., Neubauer, J., Steffen, B., Howar, F., Bauer, O.: Active continuous quality control. In: Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering. CBSE\u201913, pp.\u00a0111\u2013120. Association for Computing Machinery, Vancouver (2013). isbn: 9781450321228. https:\/\/doi.org\/10.1145\/2465449.2465469"},{"key":"798_CR32","first-page":"1","volume-title":"Proceedings of the 6th ACM SIGPLAN International Symposium on Machine Programming","author":"F.F. Xu","year":"2022","unstructured":"Xu, F.F., Alon, U., Neubig, G., Hellendoorn, V.J.: A systematic evaluation of large language models of code. In: Proceedings of the 6th ACM SIGPLAN International Symposium on Machine Programming, pp.\u00a01\u201310 (2022)"},{"key":"798_CR33","unstructured":"Yao, S., Yu, D., Zhao, J., Shafran, I., Griffiths, T., Cao, Y., Narasimhan, K.: Tree of thoughts: deliberate problem solving with large language models. Adv. Neural Inf. Process. Syst. 36 (2024)"},{"key":"798_CR34","doi-asserted-by":"publisher","first-page":"851","DOI":"10.18653\/v1\/2024.findings-acl.49","volume-title":"Findings of the Association for Computational Linguistics: ACL 2024","author":"L. Zhong","year":"2024","unstructured":"Zhong, L., Wang, Z., Shang, J.: Debug like a human: a large language model debugger via verifying runtime execution step by step. In: Ku, L.-W., Martins, A., Srikumar, V. (eds.) Findings of the Association for Computational Linguistics: ACL 2024, pp.\u00a0851\u2013870. Association for Computational Linguistics, Bangkok (2024). https:\/\/doi.org\/10.18653\/v1\/2024.findings-acl.49. https:\/\/aclanthology.org\/2024.findings-acl.49"},{"key":"798_CR35","volume-title":"The Eleventh International Conference on Learning Representations","author":"Y. Zhou","year":"2023","unstructured":"Zhou, Y., Muresanu, A.I., Han, Z., Paster, K., Pitis, S., Chan, H., Ba, J.: Large language models are human-level prompt engineers. In: The Eleventh International Conference on Learning Representations (2023)"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-025-00798-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-025-00798-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-025-00798-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,26]],"date-time":"2025-05-26T07:26:31Z","timestamp":1748244391000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-025-00798-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,2]]},"references-count":35,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2025,2]]}},"alternative-id":["798"],"URL":"https:\/\/doi.org\/10.1007\/s10009-025-00798-x","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,2]]},"assertion":[{"value":"4 April 2025","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 April 2025","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}