Test Case Generation Using Model Checking for Software Components Deployed into New Environments | IEEE Conference Publication | IEEE Xplore