Shu Mao

According to our database, Shu Mao authored at least 2 papers between 2015 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2016

Learning-Based Assume-Guarantee Regression Verification.

Fei He, Shu Mao, Bow-Yaw Wang

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Prevention of Fault Propagation in Web Service: a Complex Network Approach.

Ying Liu, Shu Mao, Mingwei Zhang, Guoqi Liu, Zhiliang Zhu, Jingde Cheng

J. Web Eng., 2015