A Pilot Study of Testing Infrastructure as Code for Cloud Systems | IEEE Conference Publication | IEEE Xplore