Publisher
Springer Nature Switzerland
Reference25 articles.
1. Fetzer, J.H.: Program verification: the very idea. Commun. ACM 31(9), 1048–1063 (1988). https://dl.acm.org/doi/10.1145/48529.48530
2. Hou, X., et al.: Large language models for software engineering: a systematic literature review. arXiv preprint arXiv:2308.10620 (2023)
3. Ross, S.I., Martinez, F., Houde, S., Muller, M., Weisz, J.D.: The programmers assistant: conversational interaction with a large language model for software development. In: Proceedings of the 28th International Conference on Intelligent User Interfaces, ser. IUI 2023, pp. 491-514. Association for Computing Machinery, New York (2023)
4. Tihanyi, N., Bisztray, T., Jain, R., Ferrag, M.A., Cordeiro, L.C., Mavroeidis, V.: The formai dataset: Generative AI in software security through the lens of formal verification. In: Proceedings of the 19th International Conference on Predictive Models and Data Analytics in Software Engineering, ser. PROMISE 2023, p. 3343. Association for Computing Machinery, New York (2023). https://doi.org/10.1145/3617555.3617874
5. Tihanyi, N., Bisztray, T., Ferrag, M.A., Jain, R., Cordeiro, L.C.: Do neutral prompts produce insecure code? formai-v2 dataset: labelling vulnerabilities in code generated by large language models. arXiv preprint arXiv:2404.18353 (2024)