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