Publications

2 results for Lu Zhang

Effective message-sequence generation for testing BPEL programs
- - Yitao Ni
  - Shan-Shan Hou
  - et al.
- 2013
- IEEE-TSC
Paper
Detecting concurrency-related problematic activity arrangement in WS-BPEL programs
- - Yitao Ni
  - Lu Zhang
  - et al.
- 2011
- SCC 2011
Conference paper