Ping Wang

Group Experience

Graduated 2019
Master

Publications

5 publications

2021

Efficient testing of GUI applications by event sequence reduction
SCP 2021Jiwei YanHao ZhouXi DengPing WangRongjie Yan Jun Yan Jian Zhang

2019

Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps
APLAS 2019Jinlong HeTaolue ChenPing WangZhilin WuJun Yan
Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring
IJCAI 2019Pei Huang Minghao LiuPing WangWenhui ZhangFeifei Ma Jian Zhang
Understanding Ineffective Events and Reducing Test Sequences for Android Applications
TASE 2019Ping WangJiwei Yan Xi Deng Jun Yan Jian Zhang

2018

Characterizing and identifying misexposed activities in Android applications
ASE 2018Jiwei Yan Xi DengPing WangTianyong Wu Jun Yan Jian Zhang
Code