Publications
Selected publications, organised by year. Paper titles and PDF links open the original documents.
2026
-
S&P'26PDF
NetPanic: The Attack Surface You Can’t Syscall
Tianshuo Han, Zong Cao, Zhen Dong, Xiapu Luo, Zhenyu Song, Jian Liu
47th IEEE Symposium on Security and Privacy（S&P）2026. -
ISSTA'26PDF
RESTOR: Automated Test Oracle Generation for RESTful APIs via Reinforcement Learning
Xun Zhou, Zhen Dong†, Mingyu Ren, Qiang Li, JunJie Li, Sifan Wang, Xiaolong Yu, Chaofeng Sha, Xin Peng
35th SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 2026. -
ISSTA'26PDF
Industrial Practice of LLM-based Test Case Carving and Assertion Generation
Haozhen You, Zhen Dong†, Jingjing Wang, Qiang Li, Xin Peng
35th SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 2026.
ACM SIGSOFT Distinguished Paper Award -
ASE'26PDF
Verifier-in-the-Loop LLM Solving of Heap Constraints for Concolic Execution
Shaoran Xia, Leyi Cheng, Caihua Dong, Dongdong She, Bo Wang, Xin Peng, Zhen Dong†
41st IEEE/ACM International Conference on Automated Software Engineering (ASE) 2026.
2025
-
ICSE'25PDF
LLM Based Input Space Partitioning Testing for Library APIs
Jiageng Li,Zhen Dong†,Chong Wang,Haozhen You,Cen Zhang,Yang Liu,Xin Peng
47th International Conference on Software Engineering （ICSE） 2025. -
ISSTA'25PDF
Inferring PID Parameter Specification for Flight Control Program by Coordinate Search
Siao Wang, Zhen Dong†, Hui Li, Liwei Shen, Xin Peng, Dongdong She
34th ACM SIGSOFT International Symposium on Software Testing and Analysis （ISSTA） 2025.
ACM SIGSOFT Distinguished Paper Award -
ICPC'25PDF
Extracting Formal Specifications from Documents Using LLMs for Test Automation
Hui Li, Zhen Dong†, Siao Wang, Hui Zhang, Liwei Shen, Xin Peng, Dongdong She
33rd IEEE/ACM International Conference on Program Comprehension (ICPC) 2025. -
ICPC'25PDF
Effectively Modeling UI Transition Graphs for Android Apps via Reinforcement Learning
Wunan Guo, Zhen Dong,Liwei Shen,Daihong Zhou, Bin Hu, Chen Zhang, Hai Xue
33rd IEEE/ACM International Conference on Program Comprehension (ICPC) 2025.
2024
-
ISSTA'24PDF
Reproducing Timing-dependent GUI Flaky Tests in Android Apps via A Single Event Delay
Xiaobao Cai, Zhen Dong†, Yongjiang Wang, Abhishek Tiwari, Xin Pen
International Symposium on Software Testing and Analysis (ISSTA) 2024. -
FM'24PDF
Automated Repair of Information Flow Security in Android Implicit Inter-App Communication
Abhishek Tiwari, Jyoti Prakash, Zhen Dong and Carlo A. Furia
26th International Symposium on Formal Methods (FM) 2024. -
IJCAI'24PDF
Synthesizing Programmatic Policy for Generalization within Task Domain
Tianyi Wu , Liwei Shen , Zhen Dong†, Xin Peng and Wenyun Zhao
33rd International Joint Conference on Artificial Intelligence (IJCAI) 2024. -
ICSE'24PDF
Trace-based Multi-Dimensional Root Cause Localization of Performance Issues in Microservice Systems
Chenxi Zhang, Zhen Dong†, Xin Peng, Bicheng Zhang, Miao Chen
46th International Conference on Software Engineering (ICSE) 2024.
2023
-
Neurips'23PDF
Enhancing Robotic Program Synthesis Through Environmental Context
Tianyi Chen, Qidi Wang, Zhen Dong†, Liwei Shen, Xin Peng
37th Conference on Neural Information Processing Systems (Neurips) 2023. -
ASE'23PDF
Dynamic Graph Neural Networks-based Alert Link Prediction for Online Service Systems
Yiru Chen, Chenxi Zhang, Zhen Dong†, Dingyu Yang, Xin Peng, Jiayu Ou, Hong Yang, Zheshun Wu, Xiaoun Qu, Wei Li
38th IEEE/ACM International Conference on Automated Software Engineering (ASE) 2023. -
ICSME'23PDF
An Empirical Study on Fault Diagnosis in Robotic Systems
Xuezhi Song, Yi Li, Zhen Dong†, Shuning Liu, Junming Cao and Xin Peng
39th IEEE International Conference on Software Maintenance and Evolution （ICSME） 2023.
2022
-
ISSTA'22PDF
Detecting and Fixing Data Loss Issues in Android Apps
Wunan Guo, Zhen Dong†, Liwei Shen, Wei Tian, Ting Su, Xin Peng
31th ACM SIGSOFT International Symposium on Software Testing and Analysis （ISSTA） 2022. -
ICSE'22PDF
Linear-time Temporal Logic guided Greybox Fuzzing
Ruijie Meng*, Zhen Dong*†, Jialin Li, Ivan Beschastnikh, Abhik Roychoudhury
IEEE/ACM 44th International Conference on Software Engineering (ICSE) 2022.
2021
-
ESEC/FSE'21PDF
Flaky Test Detection in Android via Event Order Exploration
Zhen Dong, Abhishek Tiwari, Xiao Liang Yu, Abhik Roychoudhury
ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering 2021.
[ video ] -
ISSTA'21PDF
Understanding and Finding System Setting-Related Defects in Android Apps
Jingling Sun, Ting Su, Junxin Li, Zhen Dong, Geguang Pu, Tao Xie, Zhendong Su
30th ACM SIGSOFT International Symposium on Software Testing and Analysis 2021. -
ASIACCS'21PDF
Localizing Vulnerabilities Statistically From One Exploit
Shiqi Shen, Aashish Kolluri, Zhen Dong, Prateek Saxena, Abhik Roychoudhury
16th ACM ASIA Conference on Computer and Communications Security (ASIACCS) 2021.
Best Paper Award (1/370)
2020
-
ICSE'20PDF
Time-travel Testing of Android Apps
Zhen Dong, Marcel Böhme, Lucia Cojocaru, Abhik Roychoudhury
42th International Conference on Automated Software Engineering (ICSE) 2020.
Our artifact is Available and Rusable https://github.com/DroidTest/TimeMachine
ACM SIGSOFT Distinguished Paper Award -
ChinaSoft'20PDF
TimeMachine: Time-travel Testing of Android Apps
Zhen Dong, Marcel Böhme, Lucia Cojocaru, Abhik Roychoudhury
National Software Application Conference 2020, China (ProtoType Track).
Outstanding Artifact Award
2018
-
ASE'18PDF
Android Testing via Synthetic Symbolic Execution
Xiang Gao, Shin Hwei Tan, Zhen Dong, Abhik Roychoudhury
ACM/IEEE International Conference on Automated Software Engineering (ASE) 2018. -
ICSE'18PDF
Repairing Crashes in Android Apps
Shin Hwei Tan, Zhen Dong, Xiang Gao, Abhik Roychoudhury
ACM/IEEE 40th International Conference on Software Engineering (ICSE) 2018.
2017
-
SCAM'17PDF
Does the Choice of Configuration Framework Matter for Developers?
Mohammed Sayagh, Zhen Dong, Artur Andrzejak, and Bram Adams
17th IEEE International Working Conference on Source Code Analysis and Manipulation, September 17-18, 2017, Shanghai, China. -
DissertationPDF
Diagnosing Software Configuration Errors via Static Analysis
Zhen Dong
Thesis submitted for the degree of Doctor of Philosophy (PhD), Department of Computer Science, the Ruperto-Carola University of Heidelberg, Germany. PhD Defense on Jan. 25, 2017.
2016
-
ISSRE'16PDF
ORPLocator: Identifying Reading Points of Configuration Options via Static Analysis
Zhen Dong, Artur Andrzejak, David Lo, and Diego Elias Costa
2016 IEEE 27th International Symposium on Software Reliability Engineering, Ottawa, Canada, 23-27 October.
2015
-
ICSME'15PDF
Practical and Accurate Pinpointing of Configuration Errors Using Static Analysis
Zhen Dong, Artur Andrzejak, and Kun Shao
31st IEEE International Conference on Software Maintenance and Evolution, Bremen, Germany, Sep 29 - Oct 1, 2015.
2013
-
IWPD'13PDF
Automated Diagnosis of Software Misconfigurations Based on Static Analysis
Zhen Dong, Mohammadreza Ghanavati, and Artur Andrzejak
4th International Workshop on Program Debugging, at IEEE ISSRE, Pasadena, CA, November 4-7, 2013. -
IWPD'13PDF
Scalable Isolation of Failure-Inducing Changes via Version Comparison
Mohammadreza Ghanavati, and Artur Andrzejak, and Zhen Dong
4th International Workshop on Program Debugging, at IEEE ISSRE, Pasadena, CA, November 4-7, 2013.
Best Paper Award