Author:
Ahrendt Wolfgang,Havelund Klaus
Publisher
Springer Nature Switzerland
Reference8 articles.
1. Aichernig, B.K., Havelund, K.: AI-assisted programming with test-based refinement. In: Steffen, B. (ed.) AISoLA 2023. LNCS, vol. 14380, p. 453. Springer, Cham (2023)
2. Belzner, L., Gabor, T., Wirsing, M.: Large language model assisted software engineering: prospects, challenges, and a case study. In: Steffen, B. (ed.) AISoLA 2023. LNCS, vol. 14380, pp. 355–374. Springer, Cham (2023)
3. Busch, D., Nolte, G., Bainczyk, A., Steffen, B.: ChatGPT in the loop: a natural language extension for domain-specific modeling languages. In: Steffen, B. (ed.) AISoLA 2023. LNCS, vol. 14380, pp. 375–390. Springer, Cham (2023)
4. Cohen, I., Peled, D.: Integrating distributed component-based systems through deep reinforcement learning. In: Steffen, B. (ed.) AISoLA 2023. LNCS, vol. 14380, pp. 395–417. Springer, Cham (2023)
5. GitHub. Copilot (2023). https://copilot.github.com. Accessed 27 Aug 2023