Guangshuai Mo

According to our database, Guangshuai Mo authored at least 2 papers in 2020.

Collaborative distances:

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

2020

Identifying compatibility-related APIs by exploring biased distribution in Android apps.

Chen Xu, Yan Xiong, Wenchao Huang, Zhaoyi Meng, Fuyou Miao, Cheng Su, Guangshuai Mo

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

Automated Theorem Proving via Interacting with Proof Assistants by Dynamic Strategies.

Guangshuai Mo, Yan Xiong, Wenchao Huang, Lu Ma

Proceedings of the 6th International Conference on Big Data Computing and Communications, 2020