Zhenbang Chen

Associate Professor,

School of Computer, National University of Defense Technology, China

Email : zbchen AT nudt.edu.cn



I am now an associate professor of School of Computer in National University of Defense Technology (NUDT), China. I received my Ph.D. degree of computer science from NUDT in Jun. 2009. During my Ph.D. study, I visited the rCOS group of UNU-IIST twice as a fellow from Mar. 2007 to Nov. 2007 and Jun. 2008 to Sep. 2008, respectively. Until now, I am still an associate member of the rCOS group.

My current research interests include: program analysis (especially symbolic execution), component-based formal modeling and verification and cloud computing.

Selected Publications:

  1. Hengbiao Yu, Zhenbang Chen, Ji Wang, Zhendong Su, Wei Dong. Symbolic Verification of Regular Properties, in 40th IEEE/ACM International Conference on Software Engineering (ICSE 2018).(PDF, Slides)

  2. Xinyu Wang, Jun Sun, Zhenbang Chen, Peixin Zhang, Jingyi Wang and Yun Lin. Towards Optimal Concolic Testing, in 40th IEEE/ACM International Conference on Software Engineering (ICSE 2018).(PDF)(ACM SIGSOFT Distinguished Paper Award)

  3. Yufeng Zhang, Zhenbang Chen, Ji Wang, Wei Dong, Zhiming Liu. Regular Property Guided Dynamic Symbolic Execution, in 37th IEEE/ACM International Conference on Software Engineering (ICSE 2015), IEEE Press, pp: 643-653. (PDF, Slides)

  4. Jingwen Zhou, Zhenbang Chen, Ji Wang, Zibin Zheng, Michael R. Lyu. A Data Set for User Request Trace-Oriented Monitoring and its Applications, in IEEE Transactions on Services Computing (TSC), IEEE Press, to appear. (DOI, Data Set)

  5. Chengsong Wang, Zhenbang Chen, Xiaoguang Mao. Optimizing Nop-shadows Typestate Analysis by Filtering Interferential Configurations, in 13th International Conference on Runtime Verification (RV 2013), LNCS 8174, pp: 269-284. (PDF)

  6. Yufeng Zhang, Zhenbang Chen, Ji Wang. Speculative Symbolic Execution, in 23rd International Symposium on Software Reliability Engineering (ISSRE 2012), IEEE Press, pp: 101-110. (PDF)

  7. Pei Fan, Zhenbang Chen, Ji Wang, Zibin Zheng, Michael R. Lyu. Topology-Aware Deployment of Scientific Applications in Cloud Computing, in 5th International Conference on Cloud Computing (CLOUD 2012), IEEE Press, pp: 319-326. (PDF)

  8. Zhenbang Chen, Zhiming Liu, Ji Wang. Failure-Divergence Semantics and Refinement of Long Running Transactions, in Theoretical Computer Science (TCS), Vol 455, pp: 31-65, 2012. DOI. (PDF)

  9. Zhenbang Chen, Zhiming Liu, Ji Wang. Failure-Divergence Refinement of Compensating Communicating Processes, in 17th International Symposium on Formal Methods (FM 2011), LNCS 6664, pp: 262-277. (PDF, Slides)

  10. Zhenbang Chen, Zhiming Liu. An Extended cCSP with Stable Failures Semantics, in 7th International Colloquium of Theoretical Aspects of Computing (ICTAC 2010), LNCS 6255, pp: 121-136. (PDF, Slides)

  11. Zhenbang Chen, Zhiming Liu, Anders P. Ravn, Volker Stolz, Naijun Zhan. Refinement and Verification in Component-based Model-Driven Design, in Science of Computer Programming (SCP), 74(4), pp: 168-196, 2009. (PDF)

(Complete Paper List)

Professional Services:

  1. Program committee of the following conferences: JOS Speical Issue on Formal Modeling and Verification for Emerging Systems (Guest Editor), FMAC'19, SATE'19, ICFEM'19, AI-Testing'19, SANER'19 Tool Demo Track, YR-FMAC 2018 (PC Chair), NASAC'18 Safety and Security of System Software TRel Special Track, SATE 2018, ICFEM 2018, FACS 2018, YR-SETTA 2017, SEFM 2016, FORDS 2012, ICTAC 2013 & 2014, FACS 2013 & 2014, SEASAME 2013, Internetware 2013.

  2. External reviewer of the following conferences: FM 2012, ICFEM 2008 & 2011 & 2012 & 2013, ICTAC 2010 & 2011, SEFM 2010 & 2012, SOFSEM 2009, VSTTE 2008 & 2013, FACS 2011, ATVA 2007 & 2010, ISORC 2014, TGC 2011, QSIC 2009, FSEN 2009 & 2013, SERE 2012 & 2013, APSEC 2008, etc.

  3. Invited reviewer of the following journals: IEEE Transactions on Software Engineering (TSE), IEEE Transactions on Reliability (TR), Science of Computer Programming (SCP), Journal of Systems and Software (JSS), Journal of Logical and Algebraic Methods in Programming (JLAMP), Frontiers of Computer Science in China, Science China Information Sciences, Journal of Computer Science and Technology (JCST), Journal of Software (Chinese Journal), etc.


  1. Symbolic Execution Based Testing and Verification of Complex Software Systems (NSFC). Co-Investigator. 2017-2021.

  2. Hybrid Program Analysis based Bug Finding and Verification of Device Drivers (NSFC). Principle Investigator. 2015-2018.

  3. Component-based Design of Compensable Service Systems. National Science Foundation of China (NSFC). Principle Investigator. 2012-2014.