I am a Full Professor in the College of Computer at National University of Defense Technology (NUDT), China. I received Ph.D. and Bachelor degrees in computer science from NUDT in June 2009 and July 2002, respectively.

Current Research Interests:

  • Program analysis (especially symbolic execution)
  • Formal methods
  • Constraint solving
  • The applications of the techniques in the above areas

I am seeking Ph.D. and M.Sc. students to work with me. If you are interested, please don’t hesitate to send me an email.

Selected Recent Papers:

  • [ISSTA 2021] Type and interval aware array constraint solving for symbolic execution
    Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Jun Sun, Ji Wang.
    In Proceedings of 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 21), Virtual Event, Denmark, July 11-17, 2021. (ACM SIGSOFT Distinguished Paper Award)
    [PDF] [Slides]

  • [ISSTA 2021] Grammar-agnostic symbolic execution by token symbolization
    Weiyu Pan, Zhenbang Chen, Guofeng Zhang, Yunlai Luo, Yufeng Zhang, Ji Wang.
    In Proceedings of 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 21), Virtual Event, Denmark, July 11-17, 2021
    [PDF] [Slides]

  • [ISSTA 2021] Synthesize solving strategy for symbolic execution
    Zhenbang Chen, Zehua Chen, Ziqi Shuai, Guofeng Zhang, Weiyu Pan, Yufeng Zhang, Ji Wang.
    In Proceedings of 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 21), Virtual Event, Denmark, July 11-17, 2021
    [PDF] [Slides]

  • [FM 2021] Trace Abstraction-Based Verification for Uninterpreted Programs
    Weijiang Hong, Zhenbang Chen, Yide Du, Ji Wang.
    In Proceedings of 24th International Symposium on Formal Methods (FM 2021), VirtualEvent, November 20-26, 2021
    [PDF]

  • [ASE 2020] Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once
    Yufeng Zhang, Zhenbang Chen, Ziqi Shuai, Tianqi Zhang, Kenli Li, Ji Wang.
    In Proceedings of 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020
    [PDF]

  • [ICSE 2020] Symbolic verification of message passing interface programs
    Hengbiao Yu, Zhenbang Chen, Xianjin Fu, Ji Wang, Zhendong Su, Jun Sun, Chun Huang, Wei Dong.
    In Proceedings of 42nd International Conference on Software Engineering (ICSE 2020), Seoul, South Korea, 27 June - 19 July, 2020
    [PDF] [Slides] [Video] [Artifact Available and Reusable] [Tool]

  • [ICSE 2018] Symbolic verification of regular properties
    Hengbiao Yu, Zhenbang Chen, Ji Wang, Zhendong Su, Wei Dong.
    In Proceedings of 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018
    [PDF] [Slides]

  • [ICSE 2018] Towards optimal concolic testing
    Xinyu Wang, Jun Sun, Zhenbang Chen, Peixin Zhang, Jingyi Wang, Yun Lin.
    In Proceedings of Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018. (ACM SIGSOFT Distinguished Paper Award)
    [PDF]

Recent Activities:

  • Invited to join PC committee of ICFEM 2024
  • A competition paper is accepted by SV-COMP 2024
  • A competition paper is accepted by Test-COMP 2024
  • Our tool FDSE participates in Test-COMP 2024 and is ranked 4th place in both Overall and Cover-Branches category
  • Invited to join PC committee of FACS 2024
  • Invited to join PC committee of ISSTA 2024
  • A paper is accepted by SCP journal
  • Invited to join PC committee of ASE 2024
  • A paper is accepted by SETTA 2023
  • A paper is accepted by NeurIPS 2023
  • A paper is accepted by TKDE journal
  • CCMOP is accpeted by RV 2023
  • A paper is accepted by ASE 2023 NIER Track
  • A paper is accepted by JSEP journal
  • The new acedamic home page is lanched
  • Gave a talk at Chinasoft 2022