Effective message-sequence generation for testing BPEL programsYitao NiShan-Shan Houet al.2013IEEE-TSC
Detecting concurrency-related problematic activity arrangement in WS-BPEL programsYitao NiLu Zhanget al.2011SCC 2011