Prevention of Fault Propagation in Web Service: a Complex Network Approach. - Ying Liu 032; Shu Mao; Mingwei Zhang 001; Guoqi Liu; Zhiliang Zhu 001; Jingde Cheng (J. Web Eng., 2015)

Learning-Based Assume-Guarantee Regression Verification. - Fei He 001; Shu Mao; Bow-Yaw Wang (CAV (1), 2016)