{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T15:13:54Z","timestamp":1778253234939,"version":"3.51.4"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031460012","type":"print"},{"value":"9783031460029","type":"electronic"}],"license":[{"start":{"date-parts":[[2023,12,14]],"date-time":"2023-12-14T00:00:00Z","timestamp":1702512000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,12,14]],"date-time":"2023-12-14T00:00:00Z","timestamp":1702512000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-46002-9_24","type":"book-chapter","created":{"date-parts":[[2023,12,13]],"date-time":"2023-12-13T16:02:36Z","timestamp":1702483356000},"page":"375-390","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["ChatGPT in\u00a0the\u00a0Loop: A Natural Language Extension for\u00a0Domain-Specific Modeling Languages"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Busch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerrit","family":"Nolte","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Bainczyk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,12,14]]},"reference":[{"key":"24_CR1","doi-asserted-by":"publisher","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. In: ACM Transactions on Programming Languages and Systems, vol. 8, no. 2, pp. 244\u2013263 (1986). https:\/\/doi.org\/10.1145\/5397.5399","DOI":"10.1145\/5397.5399"},{"issue":"2","key":"24_CR2","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"75","author":"D Angluin","year":"1987","unstructured":"Angluin, D.: Learning regular sets from queries and counterexamples. Inf. Comput. 75(2), 87\u2013106 (1987). https:\/\/doi.org\/10.1016\/0890-5401(87)90052-6","journal-title":"Inf. Comput."},{"key":"24_CR3","unstructured":"Burkholder, P.: Alcuin of York\u2019s propositiones ad acuendos juvenes: introduction, commentary & translation. Hist. Sci. Technol. Bull. 1(2) (1993)"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"Kearns, M.J., Vazirani, U.V.: An Introduction to Computational Learning Theory. Cambridge, MA, USA (1994). ISBN: 0-262-11193-4","DOI":"10.7551\/mitpress\/3897.001.0001"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"Balc\u00e1zar, J.L., D\u00fd\u00e9az, J., Gavald\u00e1, R.: Algorithms for learning finite automata from queries: a unified view. In: Advances in Algorithms, Languages, and Complexity, pp. 53\u201372 (1997)","DOI":"10.1007\/978-1-4613-3394-4_2"},{"key":"24_CR6","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/978-0-387-35578-8_13","volume-title":"Formal Methods for Protocol Engineering and Distributed Systems","author":"D Peled","year":"1999","unstructured":"Peled, D., Vardi, M.Y., Yannakakis, M.: Black box checking. In: Wu, J., Chanson, S.T., Gao, Q. (eds.) Formal Methods for Protocol Engineering and Distributed Systems. IAICT, vol. 28, pp. 225\u2013240. Springer, Boston, MA (1999). https:\/\/doi.org\/10.1007\/978-0-387-35578-8_13"},{"key":"24_CR7","doi-asserted-by":"publisher","unstructured":"Hungar, H., Margaria, T., Steffen, B.: Test-based model generation for legacy systems. In: Test Conference, 2003. Proceedings. ITC 2003. International, vol. 1, pp. 971\u2013980 (2003). https:\/\/doi.org\/10.1109\/TEST.2003.1271205","DOI":"10.1109\/TEST.2003.1271205"},{"key":"24_CR8","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.) HVC 2007. LNCS, vol. 4899, pp. 136\u2013152. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-77966-7_13"},{"key":"24_CR9","doi-asserted-by":"publisher","unstructured":"Raffelt, H., et al.: Dynamic testing via automata learning. In: International Journal on Software Tools for Technology Transfer (STTT), vol. 11, issue 4, pp. 307\u2013324 (2009). ISSN: 1433\u20132779. https:\/\/doi.org\/10.1007\/s10009-009-0120-7","DOI":"10.1007\/s10009-009-0120-7"},{"key":"24_CR10","doi-asserted-by":"publisher","unstructured":"Jonsson, B.: Learning of automata models extended with data. In: Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13\u201318, 2011. Advanced Lectures. Ed. by Marco Bernardo and Val-erie Issarny. Berlin, Heidelberg: Springer, Berlin Heidelberg, pp. 327\u2013349 (2011). ISBN: 978-3-642-21455-4. https:\/\/doi.org\/10.1007\/978-3-642-21455-4_10","DOI":"10.1007\/978-3-642-21455-4_10"},{"issue":"5","key":"24_CR11","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. Transfer 16(5), 569\u2013591 (2014). https:\/\/doi.org\/10.1007\/s10009-014-0321-6","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"24_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-319-68270-9_7","volume-title":"ModelEd, TestEd, TrustEd","author":"A Bainczyk","year":"2017","unstructured":"Bainczyk, A., Schieweck, A., Steffen, B., Howar, F.: Model-based testing without models: the\u00a0TodoMVC case study. In: Katoen, J.-P., Langerak, R., Rensink, A. (eds.) ModelEd, TestEd, TrustEd. LNCS, vol. 10500, pp. 125\u2013144. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-68270-9_7"},{"key":"24_CR13","series-title":"Lecture Notes in Computer Science","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","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: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11244, pp. 519\u2013538. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03418-4_31"},{"key":"24_CR14","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/s10009-017-0453-6","volume":"20","author":"S Naujokat","year":"2018","unstructured":"Naujokat, S., et al.: CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools. Int. J. Softw. Tools Technol. Transfer 20, 327\u2013354 (2018)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"24_CR15","doi-asserted-by":"crossref","unstructured":"Steffen, B., et al.: Language-driven engineering: from general-purpose to purpose-specific languages. In: Computing and Software Science: State of the Art and Perspectives, pp. 311\u2013344 (2019)","DOI":"10.1007\/978-3-319-91908-9_17"},{"key":"24_CR16","unstructured":"Chen, M., et al.: Evaluating large language models trained on code. In: arXiv preprint arXiv:2107.03374 (2021)"},{"key":"24_CR17","doi-asserted-by":"publisher","unstructured":"Bainczyk, A., et al.: Towards continuous quality control in the context of language-driven engineering. In: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering. Ed. by Tiziana Margaria and Bernhard Steffen, pp. 389\u2013406. Springer Nature Switzerland, Cham (2022). ISBN: 978-3-031-19756-7. https:\/\/doi.org\/10.1007\/978-3-031-19756-7_22","DOI":"10.1007\/978-3-031-19756-7_22"},{"key":"24_CR18","unstructured":"Chowdhery, A., et al.: PaLM: scaling language modeling with pathways. In: arXiv preprint arXiv:2204.02311 (2022)"},{"key":"24_CR19","doi-asserted-by":"crossref","unstructured":"Rombach, R., et al.: High-resolution image synthesis with latent diffusion models. In: Proceedings of the IEEE\/CVF Conference on Computer Vision and Pattern Recognition, pp. 10684\u201310695 (2022)","DOI":"10.1109\/CVPR52688.2022.01042"},{"key":"24_CR20","unstructured":"Agostinelli, A., et al.: MusicLM: generating music from text. In: arXiv preprint arXiv:2301.11325 (2023)"},{"key":"24_CR21","unstructured":"Bainczyk, A.: Simplicity-oriented lifelong learning of web applications. [work in progress]. PhD thesis. Dortmund, Germany: TU Dortmund University (2023)"},{"issue":"1","key":"24_CR22","first-page":"08","volume":"12","author":"A Beganovic","year":"2023","unstructured":"Beganovic, A., Abu Jaber, M., Abd Almisreb, A.: Methods and applications of ChatGPT in software development: a literature review. SE Eur. J. Soft Comput. 12(1), 08\u201312 (2023)","journal-title":"SE Eur. J. Soft Comput."},{"key":"24_CR23","first-page":"355","volume-title":"Bridging the Gap between AI and Reality, AISoLA 2023, LNCS 14380","author":"L Belzner","year":"2023","unstructured":"Belzner, L., Gabor, T., Wirsing, M.: Large language model assisted software engineering: prospects, challenges, and a case study. In: Steffen, B. (ed.) Bridging the Gap between AI and Reality, AISoLA 2023, LNCS 14380, pp. 355\u2013374. Springer, Heidelberg (2023)"},{"key":"24_CR24","doi-asserted-by":"publisher","unstructured":"Bo\u00dfelmann, S.: Evolution of ecosystems for language-driven engineering. PhD thesis. Dortmund, Germany: TU Dortmund University (2023). https:\/\/doi.org\/10.17877\/DE290R-23218","DOI":"10.17877\/DE290R-23218"},{"key":"24_CR25","unstructured":"Bubeck, S., et al.: Sparks of artificial general intelligence: early experiments with GPT-4. arXiv preprint arXiv:2303.12712 (2023)"},{"key":"24_CR26","doi-asserted-by":"publisher","unstructured":"Charalambous, Y., et al.: 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","DOI":"10.48550\/arXiv.2305.14752"},{"key":"24_CR27","unstructured":"GitHub. GitHub Copilot (2023). https:\/\/copilot.github.com\/. Accessed 21 July 2023"},{"key":"24_CR28","unstructured":"OpenAI. GPT-4 Technical Report. ArXiv abs\/2303.08774 (2023)"},{"key":"24_CR29","unstructured":"Richards, T.B.: Auto-GPT: an autonomous GPT-4 experiment (2023). https:\/\/github.com\/Significant-Gravitas\/Auto-GPT. Accessed 21 July 2023"},{"key":"24_CR30","doi-asserted-by":"crossref","unstructured":"Sobania, D., et al.: An analysis of the automatic bug fixing performance of ChatGPT. arXiv preprint arXiv:2301.08653 (2023)","DOI":"10.1109\/APR59189.2023.00012"},{"key":"24_CR31","unstructured":"Tian, H., et al.: Is ChatGPT the ultimate programming assistant-how far is it? In: arXiv preprint arXiv:2304.11938 (2023)"},{"key":"24_CR32","unstructured":"Touvron, H., et al.: LLaMA: open and efficient foundation language models. arXiv preprint arXiv:2302.13971 (2023)"}],"container-title":["Lecture Notes in Computer Science","Bridging the Gap Between AI and Reality"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-46002-9_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,13]],"date-time":"2023-12-13T16:06:45Z","timestamp":1702483605000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-46002-9_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,14]]},"ISBN":["9783031460012","9783031460029"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-46002-9_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,12,14]]},"assertion":[{"value":"14 December 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"AISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Bridging the Gap between AI and Reality","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Crete","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 October 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 October 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aisola2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/2023-aisola.isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}