Characterizing Static Analysis Alerts for Terraform Manifests: An Experience Report. - Hanyang Hu; Yani Bu; Kristen Wong; Gaurav Sood; Karen Smiley; Akond Rahman (SecDev, 2023)