Fault localisation for WS-BPEL programs based on predicate switching and program slicing. - Chang-Ai Sun; Yufeng Ran; Caiyun Zheng; Huai Liu; Dave Towey; Xiangyu Zhang 001 (J. Syst. Softw., 2018)