automated vulnerability remediation 1container security 1formal verification 1large language models 1path traversal 1
From the 1 of 2 linked papers with an AI index.
2 papers
cs.SE2026
RESTOR: Automated Test Oracle Generation for RESTful APIs via Reinforcement Learning
Xun Zhou, Zhen Dong, Mingyu Ren +6
Modern REST API testing faces a critical challenge in defining reliable test oracles, particularly in agile industrial environments where formal specifications (e.g., OpenAPI) are…
cs.CR2026
Bulkhead: Automated Semantic Detection and Remediation of Container Escape Vulnerabilities
Qiyuan Fan, Zhi Li, Junjie Li +3
Bulkhead is an automated framework that combines large language models with formal verification to detect and fix path‑traversal vulnerabilities caused by insecure host‑container i…