A First Approach to Test Case Generation for BPEL Compositions of Web Services Using Scatter Search | IEEE Conference Publication | IEEE Xplore