I. Introduction
Infrastructure as code (IaC) scripts help practitioners to provision and configure their development environment and servers at scale [1]. IaC scripts are also known as configuration scripts [2] [1] or configuration as code scripts [1] [3]. Commercial IaC tool vendors, such as Chef
https://www.chef.io/chef/
and Puppet [4], provide programming syntax and libraries so that programmers can specify configuration and dependency information as scripts.