| |
| 2007 | ||
|---|---|---|
| 4 | EE | Yongyan Zheng, Jiong Zhou, Paul Krause: Analysis of BPEL Data Dependencies. EUROMICRO-SEAA 2007: 351-358 |
| 3 | EE | Yongyan Zheng, Jiong Zhou, Paul Krause: A Model Checking based Test Case Generation Framework forWeb Services. ITNG 2007: 715-722 |
| 2 | EE | Yongyan Zheng, Jiong Zhou, Paul Krause: An Automatic Test Case Generation Framework for Web Services. JSW 2(3): 64-77 (2007) |
| 2006 | ||
| 1 | EE | Yongyan Zheng, Paul Krause: Asynchronous Semantics and Anti-patterns for Interacting Web Services. QSIC 2006: 74-84 |
| 1 | Paul Krause | [1] [2] [3] [4] |
| 2 | Jiong Zhou | [2] [3] [4] |