17 citations · 28 across the 4 of their papers we have counts for
Showing cs.SEShow all
3 papers · 1 filter
cs.SE2022★ 17 cited
Detecting and Fixing Data Loss Issues in Android Apps
Wunan Guo, Zhen Dong, Liwei Shen +3
Android apps are event-driven, and their execution is often interrupted by external events. This interruption can cause data loss issues that annoy users. For instance, when the sc…
cs.SE2021
Linear-time Temporal Logic guided Greybox Fuzzing
Ruijie Meng, Zhen Dong, Jialin Li +2
Software model checking is a verification technique which is widely used for checking temporal properties of software systems. Even though it is a property verification technique,…
cs.SE2020★ 11 cited
Concurrency-related Flaky Test Detection in Android apps
Zhen Dong, Abhishek Tiwari, Xiao Liang Yu +1
Validation of Android apps via testing is difficult owing to the presence of flaky tests. Due to non-deterministic execution environments, a sequence of events (a test) may lead to…