Marc Bruni Fabio Gabrielli Mohammad Ghafari Martin Kropp Benchmarking Prompt Engineering Techniques for Secure Code Generation with GPT Models. 93-103 2025 Forge@ICSE https://doi.org/10.1109/Forge66646.2025.00018 conf/forge/2025 db/conf/forge/forge2025.html#BruniGGK25 streams/conf/forge