{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T00:19:19Z","timestamp":1760141959685,"version":"build-2065373602"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032071316","type":"print"},{"value":"9783032071323","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T00:00:00Z","timestamp":1760140800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T00:00:00Z","timestamp":1760140800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>This is an introduction to the track \u2018AI Assisted Programming\u2019 (AIAP), organized at the third instance of the AISoLA conference during the period November 1\u20135, 2025. AISoLA as a whole aims to study opportunities and risks of late advances of AI. The motivation behind the AIAP track in particular, which also takes place the third time, is the emerging use of large language models for the construction and analysis of software artifacts. An overview of the track presentations is provided.\n\n<\/jats:p>","DOI":"10.1007\/978-3-032-07132-3_2","type":"book-chapter","created":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T05:27:36Z","timestamp":1760074056000},"page":"11-17","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["AI Assisted Programming (AISoLA 2025 Track Introduction)"],"prefix":"10.1007","author":[{"given":"Wolfgang","family":"Ahrendt","sequence":"first","affiliation":[]},{"given":"Bernhard K.","family":"Aichernig","sequence":"additional","affiliation":[]},{"given":"Klaus","family":"Havelund","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,10,11]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Ahrendt, W., \u00a0Aichernig, B.,\u00a0Havelund, K.: AI assisted programming. In:\u00a0Steffen, B. (ed.) AISoLA 2024 - Bridging the Gap Between AI and Reality. LNCS, vol. 15217, pp. 101\u2013106. Springer (2025)","DOI":"10.1007\/978-3-031-75434-0_7"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Ahrendt, W.,\u00a0Havelund, K.: AI assisted programming. In:\u00a0Steffen, B. (ed.) AISoLA 2023 - Bridging the Gap Between AI and Reality, vol. 14380, pp. 351\u2013354. LNCS. Springer (2024)","DOI":"10.1007\/978-3-031-46002-9_22"},{"key":"2_CR3","unstructured":"Etemadi, K., \u00a0Sirjani, M., Moghadam, M.H.,\u00a0Strandberg, P.,\u00a0Pettersson, P.: LLM-based property-based test generation for guardrailing cyber-physical systems. In: Steffen, B. (ed.) AISoLA 2025. LNCS, vol. 16220, pp. xx\u2013yy. Springer, Cham (2025)"},{"key":"2_CR4","unstructured":"Hajhmida, M.B., Lee, E.A.: RAg and agentic assistant: a combined approach. In: Steffen, B. (ed.) AISoLA 2025. LNCS, vol. 16220, pp. xx\u2013yy. Springer, Cham (2025)"},{"key":"2_CR5","unstructured":"Hertzberg, N.,\u00a0Sevenhuijsen, M.,\u00a0K\u00e5reborn, L.,\u00a0Lokrantz, A.: CASP: an evaluation dataset for formal verification of C code. In: Steffen, B. (ed.) AISoLA 2025. LNCS, vol. 16220, pp. xx\u2013yy. Springer, Cham (2025)"},{"key":"2_CR6","unstructured":"Landt, L.,\u00a0Leucker, M.,\u00a0Burchardt, C.: A voice-enabled query framework for systems engineering artefacts. In: Steffen, B. (ed.) AISoLA 2025. LNCS, vol. 16220, pp. xx\u2013yy. Springer, Cham (2025)"},{"key":"2_CR7","unstructured":"M\u00fcller, J.,\u00a0de\u00a0Graaff, T.,\u00a0M\u00f6hlmann, E.: Integrating LLMs with QC-OpenDRIVE: ensuring normative correctness in autonomous driving scenarios. In: Steffen, B. (ed.) AISoLA 2025. LNCS, vol. 16220, pp. xx\u2013yy. Springer, Cham (2025)"},{"key":"2_CR8","unstructured":"Tahat, A.,\u00a0Amundson, I.,\u00a0Hardin, D.,\u00a0Cofer, D.: AGREE-Dog Copilot: a neuro-symbolic approach to enhanced model-based systems engineering. In: Steffen, B. (ed.) AISoLA 2025. LNCS, vol. 16220, pp. xx\u2013yy. Springer, Cham (2025)"},{"key":"2_CR9","unstructured":"ChatGPT LLMs (OpenAI). https:\/\/chat.openai.com"},{"key":"2_CR10","unstructured":"Claude LLMs (Anthropic). https:\/\/claude.ai"},{"key":"2_CR11","unstructured":"Gemini LLMs (Google). https:\/\/gemini.google.com"},{"key":"2_CR12","unstructured":"Grok LLMs (xAI). https:\/\/grok.com"},{"key":"2_CR13","unstructured":"LLaMA LLMs (Meta). https:\/\/www.llama.com"},{"key":"2_CR14","unstructured":"Copilot IDE. https:\/\/copilot.github.com"},{"key":"2_CR15","unstructured":"Cursor IDE. https:\/\/cursor.com"},{"key":"2_CR16","unstructured":"Windsurf IDE. https:\/\/windsurf.com"}],"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-032-07132-3_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T05:27:42Z","timestamp":1760074062000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-07132-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,11]]},"ISBN":["9783032071316","9783032071323"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-07132-3_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,11]]},"assertion":[{"value":"11 October 2025","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":"Rhodes","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":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 November 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 November 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aisola2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/2025-aisola.isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}