Dr. DONG Zhen

Pre-tenure Associate Professor
Fudan University
2005 Songhu Road, Shanghai, China
zhendong@fudan.edu.cn

Bio

Zhen Dong is a pre-tenure Associate Professor at Fudan University, China. Previously, he was a senior research fellow at school of computing science of the National University of Singapore. Zhen completed his PhD in computer science from Heidelberg University in Germany. His research is focused on the development of techniques and tools for improving software reliability and security, particularly in the area of mobile computing. He is currently serving on the Board of Distinguished Reviewers of ACM Transactions on Software Engineering and Methodology. His research won the ACM Distinguished Paper Award at ICSE'20 and the Best Paper Award at AsiaCCS'21.

News

• June.'2, 2024: Invited to serve on the Program Committee of FSE'25!
• Dec.'27, 2023: Invited to serve on the Program Committee of ISSTA'24!
• Nov.'28: Invited to serve on the Program Committee of ASE'24!
• Nov.'10: Invited to serve on the Program Committee of ICSE'25!
• Nov.'21: Invited to serve on the Program Committee of ASE'23!
• Oct.'11: Received an ASE'22 Distinguished Reviewer Award!
• Sept.'14: Invited to serve on the program committee of ICSE 2024!
• Sept.'25: Invited to serve on the Program Committee of ASE'22.
• June'8: Our work "localizing vulnerabilities statistically from one exploit" won the best paper award at asiaCCS'21 (1/370). Congrats Shiqi, Aashish, Prateek and Abhik!
• Dec.'10: Gave a talk on mobile app testing at Quality Lab at Bytedance inc. Beijing (online).
• Sept.'02: Gave a talk on mobile app testing at the webinar of IEEE Queensland section.
• Jul'05: Received the ACM Distinguished Paper Award at ICSE2020!

Selected Publications

• [ ICSE'25 ]
  LLM Based Input Space Partitioning Testing for Library APIs

  Jiageng Li, Zhen Dong,Chong Wang,Haozhen You, Cen Zhang, Yang Liu, Xin Peng
  46th International Conference on Software Engineering (ICSE) 2025.

• [ ISSTA'24 ]
  Reproducing Timing-dependent GUI Flaky Tests in Android Apps via A Single Event Delay

  Xiaobao Cai, Zhen Dong†, Yongjiang Wang, Abhishek Tiwari, Xin Pen (†corresponding author)
  International Symposium on Software Testing and Analysis (ISSTA) 2024.

• [ FM'24 ]
  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'24 ]
  Synthesizing Programmatic Policy for Generalization within Task Domain

  Tianyi Wu , Liwei Shen , Zhen Dong†, Xin Peng and Wenyun Zhao (†corresponding author)
  33rd International Joint Conference on Artificial Intelligence (IJCAI) 2024.

• [ ICSE'24 ]
  Trace-based Multi-Dimensional Root Cause Localization of Performance Issues in Microservice Systems

  Chenxi Zhang, Zhen Dong†, Xin Peng, Bicheng Zhang, Miao Chen (†corresponding author)
  46th International Conference on Software Engineering (ICSE) 2024.

• [ Neurips'23 ]
  Enhancing Robotic Program Synthesis Through Environmental Context

  Tianyi Chen, Qidi Wang, Zhen Dong†, Liwei Shen, Xin Peng (†corresponding author)
  37th Conference on Neural Information Processing Systems (Neurips) 2023.

• [ ASE'23 ]
  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 (†corresponding author)
  38th IEEE/ACM International Conference on Automated Software Engineering (ASE) 2023.

• [ ICSME'23 ]
  An Empirical Study on Fault Diagnosis in Robotic Systems

  Xuezhi Song, Yi Li, Zhen Dong†, Shuning Liu, Junming Cao and Xin Peng (†corresponding author)
  39th IEEE International Conference on Software Maintenance and Evolution （ICSME） 2023.

• [ ISSTA'22 ]
  Detecting and Fixing Data Loss Issues in Android Apps

  Wunan Guo, Zhen Dong †, Liwei Shen, Wei Tian, Ting Su, Xin Peng (†corresponding author)
  31th ACM SIGSOFT International Symposium on Software Testing and Analysis （ISSTA） 2022.

• [ ICSE'22 ]
  Linear-time Temporal Logic guided Greybox Fuzzing

  Ruijie Meng*, Zhen Dong *†, Jialin Li, Ivan Beschastnikh, Abhik Roychoudhury (*joint first author,†corresponding author)
  IEEE/ACM 44th International Conference on Software Engineering (ICSE) 2022.

• [ ESEC/FSE'21]
  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'21]
  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'21]
  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)

• [ICSE'20]
  Time-travel Testing of Android Apps

  Zhen Dong, Marcel Böhme, Lucia Cojocaru, Abhik Roychoudhury
  ACM/IEEE 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'20]
  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

• [ASE'18]
  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'18]
  Repairing Crashes in Android Apps

  Shin Hwei Tan, Zhen Dong, Xiang Gao, Abhik Roychoudhury
  ACM/IEEE 40th International Conference on Software Engineering (ICSE) 2018.

• [SCAM'17]
  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.

• [Dissertation]
  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.

• [ISSRE'16]
  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.

• [ICSME'15]
  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.

• [IWPD'13]
  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'13]
  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

Academia Services

Organisation

• Co-Chair of Fast Abstract Track on International Symposium on Dependable Computing (PRDC), 2022

Program Committee Member

• IEEE/ACM International Conference on Software Engineering (ICSE), 2024
• IEEE/ACM International Conference on Automated Software Engineering (ASE), 2022
• IEEE/ACM International Conference on Mobile Software Engineering and Systems (MobileSoft) 2022
• ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2021
• IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM), 2021

Journal Reviewer

• IEEE Transactions on Software Engineering: 2021, 2022
• ACM Transactions on Software Engineering and Methodology: 2019, 2020, 2021, 2022
• IEEE Transactions on Dependable and Secure Computing: 2019, 2020, 2021, 2022
• ACM Transactions on Embedded Computing Systems: 2021
• Journal of Systems and Software: 2018, 2019, 2020, 2021, 2022