| 2026 | FASE | FDSE v2: Variable Importance Guided Hybrid Fuzzing (Competition Contribution). | Guofeng Zhang, Zhenbang Chen, Ji Wang |
| 2026 | FM | EUF-based Solving Dyck-Reachability with Applications to Static Analysis. | Yide Du, Zhenbang Chen, Kunlin Liu, Guofeng Zhang, Xudong Wang, Ke Ma, Wei Dong, Ji Wang |
| 2026 | FM | Selective Concolic Testing. | Guofeng Zhang, Zhenbang Chen, Ziqi Shuai, Jun Sun, Weijiang Hong, Yufeng Zhang, Ji Wang, Yang Liu |
| 2026 | ICSE | Large Language Model powered Test Driver Generation for High-performance Computing Library. | Ziran He, Guofeng Zhang, Meixi Liu, Zhenbang Chen |
| 2025 | COMPSAC | LSFuzz: Learning Adaptive Seed Selection Strategies for Fuzzing. | Mingqian Xiao, Yufeng Zhang, Zhenbang Chen |
| 2025 | TACAS | AISE v2.0: Combining Loop Transformations - (Competition Contribution). | Yao Lin, Zhenbang Chen, Ji Wang |
| 2024 | FASE | FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution). | Guofeng Zhang, Ziqi Shuai, Kelin Ma, Kunlin Liu, Zhenbang Chen, Ji Wang |
| 2024 | TACAS | AISE: A Symbolic Verifier by Synergizing Abstract Interpretation and Symbolic Execution (Competition Contribution). | Zhen Wang, Zhenbang Chen |
| 2023 | APSEC | Symbolic Execution of MPI Programs with One-Sided Communications. | Nenghui Hu, Zheng Bian, Ziqi Shuai, Zhenbang Chen, Yufeng Zhang |
| 2023 | APSEC | Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution. | Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Ji Wang |
| 2023 | QRS | CSP based Formal Modeling and Verification of Behavior Trees. | Peishan Huang, Weijiang Hong, Zhenbang Chen, Ji Wang |
| 2023 | RV | CCMOP: A Runtime Verification Tool for C/C++ Programs. | Yongchao Xing, Zhenbang Chen, Shibo Xu, Yufeng Zhang |
| 2023 | SETTA | Formal Verification Based Synthesis for Behavior Trees. | Weijiang Hong, Zhenbang Chen, Minglong Li, Yuhan Li, Peishan Huang, Ji Wang |
| 2022 | APSEC | Symbolic Execution of Floating-point Programs: How far are we? | Guofeng Zhang, Zhenbang Chen, Ziqi Shuai |
| 2022 | APSEC | Synergizing Symbolic Execution and Fuzzing By Function-level Selective Symbolization. | Guofeng Zhang, Zhenbang Chen, Ziqi Shuai, Yufeng Zhang, Ji Wang |
| 2022 | TASE | Collaborative Verification of Uninterpreted Programs. | Yide Du, Weijiang Hong, Zhenbang Chen, Ji Wang |
| 2021 | FM | Trace Abstraction-Based Verification for Uninterpreted Programs. | Weijiang Hong, Zhenbang Chen, Yide Du, Ji Wang |
| 2021 | ISSRE | A Runtime Monitoring Based Fuzzing Framework for Temporal Properties. | Jinjian Luo, Meixi Liu, Yunlai Luo, Zhenbang Chen, Yufeng Zhang |
| 2021 | ISSTA | Synthesize solving strategy for symbolic execution. | Zhenbang Chen, Zehua Chen, Ziqi Shuai, Guofeng Zhang, Weiyu Pan, Yufeng Zhang, Ji Wang |
| 2021 | ISSTA | Grammar-agnostic symbolic execution by token symbolization. | Weiyu Pan, Zhenbang Chen, Guofeng Zhang, Yunlai Luo, Yufeng Zhang, Ji Wang |
| 2021 | ISSTA | Type and interval aware array constraint solving for symbolic execution. | Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Jun Sun, Ji Wang |
| 2021 | QRS | Selective Symbolization Based Efficient Symbolic Execution. | Yang Liu, Guofeng Zhang, Zhenbang Chen, Ziqi Shuai |
| 2020 | ICSE | MPI-SV: a symbolic verifier for MPI programs. | Zhenbang Chen, Hengbiao Yu, Xianjin Fu, Ji Wang |
| 2020 | ICSE | Symbolic verification of message passing interface programs. | Hengbiao Yu, Zhenbang Chen, Xianjin Fu, Ji Wang, Zhendong Su, Jun Sun, Chun Huang, Wei Dong |
| 2020 | SETTA | Symbolic Verification of MPI Programs with Non-deterministic Synchronizations. | Hengbiao Yu, Zhenbang Chen, Chun Huang, Ji Wang |
| 2018 | ICSE | MC/DC coverage-oriented compiler optimization for symbolic execution. | Yijun Liu, Zhenbang Chen, Wei Dong, Chendong Feng |
| 2018 | ICSE | Towards optimal concolic testing. | Xinyu Wang, Jun Sun, Zhenbang Chen, Peixin Zhang, Jingyi Wang, Yun Lin |
| 2018 | ICSE | Symbolic verification of regular properties. | Hengbiao Yu, Zhenbang Chen, Ji Wang, Zhendong Su, Wei Dong |
| 2015 | ICSE | Poster: Symbolic Execution of MPI Programs. | Xianjin Fu, Zhenbang Chen, Hengbiao Yu, Chun Huang, Wei Dong, Ji Wang |
| 2015 | ICSE | Regular Property Guided Dynamic Symbolic Execution. | Yufeng Zhang, Zhenbang Chen, Ji Wang, Wei Dong, Zhiming Liu |
| 2015 | ICSE | Poster: Segmentation Based Online Performance Problem Diagnosis. | Jingwen Zhou, Zhenbang Chen, Ji Wang |
| 2014 | APSEC | Synchronization Error Detection of MPI Programs by Symbolic Execution. | Xianjin Fu, Zhenbang Chen, Chun Huang, Wei Dong, Ji Wang |
| 2014 | CloudCom | Trace Bench: An Open Data Set for Trace-Oriented Monitoring. | Jingwen Zhou, Zhenbang Chen, Ji Wang, Zibin Zheng, Michael R. Lyu |
| 2014 | ISSRE | A Runtime Verification Based Trace-Oriented Monitoring Framework for Cloud Systems. | Jingwen Zhou, Zhenbang Chen, Ji Wang, Zibin Zheng, Wei Dong |
| 2013 | RV | Optimizing Nop-shadows Typestate Analysis by Filtering Interferential Configurations. | Chengsong Wang, Zhenbang Chen, Xiaoguang Mao |
| 2012 | COMPSAC | P-Tracer: Path-Based Performance Profiling in Cloud Computing Systems. | Haibo Mi, Huaimin Wang, Hua Cai, Yangfan Zhou, Michael R. Lyu, Zhenbang Chen |
| 2012 | ICPADS | Online Optimization of VM Deployment in IaaS Cloud. | Pei Fan, Zhenbang Chen, Ji Wang, Zibin Zheng |
| 2012 | ISSRE | Speculative Symbolic Execution. | Yufeng Zhang, Zhenbang Chen, Ji Wang |
| 2011 | DSN | Identifying faults in large-scale distributed systems by filtering noisy error logs. | Xiang Rao, Huaimin Wang, Dianxi Shi, Zhenbang Chen, Hua Cai, Qi Zhou, Tingtao Sun |
| 2011 | FM | Failure-Divergence Refinement of Compensating Communicating Processes. | Zhenbang Chen, Zhiming Liu, Ji Wang |
| 2010 | ICTAC | An Extended cCSP with Stable Failures Semantics. | Zhenbang Chen, Zhiming Liu |
| 2007 | ICECCS | A Refinement Driven Component-Based Design. | Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn |
| 2006 | COMPSAC | An Interface Theory Based Approach to Verification of Web Services. | Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi, Wing Lok Yeung |