TY - RPRT TI - Automated Vulnerability Validation and Verification: A Large Language Model Approach AU - Alireza Lotfi AU - Charalampos Katsis AU - Elisa Bertino PY - 2025 UR - https://arxiv.org/abs/2509.24037 ID - 2509.24037 ER -