Chang-Ai Sun, Yan Zhao, Lin Pan, Huai Liu, Tsong Yueh Chen: Automated Testing of WS-BPEL Service Compositions: A Scenario-Oriented Approach. IEEE Trans. Serv. Comput. 11(4): 616-629 (2018)