Login / Signup
Guangshuai Mo
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 2
Top Topics
Automated Theorem Proving
Mobile Platforms
Answer Set Programming
Spatial Distribution
Top Venues
ICSE (Companion Volume)
BigCom
</>
Publications
</>
Guangshuai Mo
,
Yan Xiong
,
Wenchao Huang
,
Lu Ma
Automated Theorem Proving via Interacting with Proof Assistants by Dynamic Strategies.
BigCom
(2020)
Chen Xu
,
Yan Xiong
,
Wenchao Huang
,
Zhaoyi Meng
,
Fuyou Miao
,
Cheng Su
,
Guangshuai Mo
Identifying compatibility-related APIs by exploring biased distribution in Android apps.
ICSE (Companion Volume)
(2020)