BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach | IEEE Conference Publication | IEEE Xplore