software-reliability
Verification framework and benchmark for LLM-generated IaC repairs. QRS 2026 regular paper. arXiv:2609.28488.