Automated Bug Discovery in Cloud Infrastructure-as-Code Updates with LLM Agents. - Yiming Xiang; Zhenning Yang; Jingjia Peng; Hermann Bauer; Patrick Tser Jern Kon; Yiming Qiu; Ang Chen 001 (AIOps, 2025)