Modeling and Automated Execution of Application Deployment Tests | IEEE Conference Publication | IEEE Xplore