A WS-BPEL Based Structural Testing Approach for Web Service Compositions | IEEE Conference Publication | IEEE Xplore