王平
组内经历
2019 年毕业
硕士
论文
2021
Efficient testing of GUI applications by event sequence reduction
SCP 2021CCF BJiwei YanHao ZhouXi DengPing WangRongjie YanJun YanJian Zhang
2019
Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps
APLAS 2019CCF CJinlong HeTaolue ChenPing WangZhilin WuJun YanSolving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring
IJCAI 2019CCF BPei HuangMinghao LiuPing WangWenhui ZhangFeifei MaJian Zhang
CCF 分类依据 第七版《中国计算机学会推荐国际学术会议和期刊目录》。