17 citations · 28 across the 4 of their papers we have counts for
4 papers
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…
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,…
Localizing Patch Points From One Exploit
Shiqi Shen, Aashish Kolluri, Zhen Dong +2
Automatic patch generation can significantly reduce the window of exposure after a vulnerability is disclosed. Towards this goal, a long-standing problem has been that of patch loc…
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…