Automated Test Case Generation for Service Composition from Event Logs | IEEE Conference Publication | IEEE Xplore