Quantitative Evaluation of Mutation Operators for WS-BPEL Compositions | IEEE Conference Publication | IEEE Xplore