Detecting Concurrency-Related Problematic Activity Arrangement in WS-BPEL Programs. - Yitao Ni; Lu Zhang 023; Zhong Jie Li; Tao Xie 001; Hong Mei 001 (IEEE SCC, 2011)

Effective Message-Sequence Generation for Testing BPEL Programs. - Yitao Ni; Shan-Shan Hou; Lu Zhang 023; Jun Zhu; Zhong Jie Li; Qian Lan; Hong Mei 001; Jiasu Sun (IEEE Trans. Serv. Comput., 2013)