Asynchronous Semantics and Anti-patterns for Interacting Web Services. - Yongyan Zheng; Paul Krause (QSIC, 2006)

Analysis of BPEL Data Dependencies. - Yongyan Zheng; Jiong Zhou; Paul Krause (EUROMICRO-SEAA, 2007)

A Model Checking based Test Case Generation Framework forWeb Services. - Yongyan Zheng; Jiong Zhou; Paul Krause (ITNG, 2007)

An Automatic Test Case Generation Framework for Web Services. - Yongyan Zheng; Jiong Zhou; Paul Krause (J. Softw., 2007)

An automatic test framework for BPEL-based Web Services. - Yongyan Zheng (2007)

The Rise and Potential of Large Language Model Based Agents: A Survey. - Zhiheng Xi; Wenxiang Chen; Xin Guo; Wei He 024; Yiwen Ding; Boyang Hong; Ming Zhang 030; Junzhe Wang 001; Senjie Jin; Enyu Zhou; Rui Zheng; Xiaoran Fan; et al. (CoRR, 2023)

The rise and potential of large language model based agents: a survey. - Zhiheng Xi; Wenxiang Chen; Xin Guo; Wei He 024; Yiwen Ding; Boyang Hong; Ming Zhang 030; Junzhe Wang 001; Senjie Jin; Enyu Zhou; Rui Zheng; Xiaoran Fan; et al. (Sci. China Inf. Sci., 2025)