Automated Testing of WS-BPEL Service Compositions: A Scenario-Oriented Approach | IEEE Journals & Magazine | IEEE Xplore