Automation of Test Case Generation and Execution for Testing Web Service Orchestrations | IEEE Conference Publication | IEEE Xplore