BO WANG (็Ž‹ๅš)

Bo Wang
Associate Professor

School of Computer Science and Technology,
Beijing Jiaotong University (BJTU),
Beijing, China
Email: wangbo_cs@bjtu.edu.cn

Google Scholar
Github
DBLP

I am currently a tenured Associate Professor in the School of Computer Science and Technology at Beijing Jiaotong University (BJTU). Before joining BJTU, I received my Ph.D. degree in Computer Science from Peking University in 2021, under the supervision of Prof. Yingfei Xiong. I received my M.S. degree from the University of Science and Technology of China and my B.S. degree from Central South University. I was a visiting Ph.D. student at the National University of Singapore, supervised by Prof. Abhik Roychoudhury, and a visiting scholar at Prof. Jun Sun's group at Singapore Management University.

My research lies at the intersection of Software Engineering and Programming Languages, with a focus on compiler testing, software analysis, fuzzing, mutation analysis, and AI for software engineering. My goal is to improve the reliability, safety, and trustworthiness of critical software infrastructure.

My recent research projects are mainly focused on:
(1) Compiler Testing and Tuning (OOPSLA'25, TSE'25);
(2) Mutation Analysis (FSE'26, TOSEM'26, ASE'21, ISSTA'17);
(3) Automated Program Repair (ICSEM'25, TSE'24, TOSEM'22, TOSEM'20);
(4) Test Generation (ISSTA'26, ASE'24).

News

  • I am serving on the Program Committee of ICSE'27, ASE'26 and ISSTA'26.
  • [2026.04] Our papers on LLMware license compatibility analysis and LLM-based test generation have been accepted by ISSTA'26.
  • [2026.03] Our paper Boosting LLMs for Mutation Generation has been accepted by FSE'26.
  • [2026.02] Our paper A Comprehensive Study on Large Language Models for Mutation Testing has been accepted by TOSEM'26.
  • [2025.09] Our ICSME'25 paper on program repair is awarded the IEEE TCSE Distinguished Paper Award.
  • [2025.08] Our paper on type-driven mutation fuzzing for C++ compilers has been accepted by OOPSLA'25.

Selected Honors and Awards

  • ACM SIGSOFT Distinguished Paper Award, ISSTA'17 (Faster Mutation Analysis via Equivalence Modulo States)
  • IEEE TCSE Distinguished Paper Award, ICSME'25 (Boosting Redundancy-based Automated Program Repair by Fine-grained Pattern Mining)

Open-Source Contribution

Our research group develops automated techniques for compiler testing, fuzzing, and software reliability analysis. Through our research, we aim to improve the reliability and safety of critical software infrastructure. Several discovered bugs affected real-world software systems and were discussed by compiler and open-source developers.

  • Reported more than 200 bugs to C++ compilers GCC and Clang, among which more than 80 bugs were confirmed as previously unknown bugs by compiler developers.
  • Reported more than 60 bugs to Rust compilers rustc and gccrs, among which more than 40 bugs were confirmed as previously unknown bugs by compiler developers.
  • Reported 60 license-conflict issues in PTMware software supply chains, among which 11 issues were confirmed by open-source developers.

Selected Recent Publications (Full List)


    1) Compiler Testing

  • [OOPSLA'25] Fuzzing C++ Compilers via Type-Driven Mutation
    Bo Wang, Chong Chen, Ming Deng, Junjie Chen, Xing Zhang, Youfang Lin, Dan Hao, Jun Sun.
    OOPSLA'25 PAPER

  • [TSE'25] A Comprehensive Study of OOP-Related Bugs in C++ Compilers
    Bo Wang, Chong Chen, Junjie Chen, Bowen Xu, Chen Ye, Youfang Lin, Guoliang Dong, Jun Sun.
    IEEE Transactions on Software Engineering (TSE'25) PAPER


    • 2) Mutation Analysis

  • [FSE'26] Boosting LLMs for Mutation Generation
    Bo Wang, Ming Deng, Mingda Chen, Chengran Yang, Youfang Lin, Mark Harman, Mike Papadakis, Jie M. Zhang.
    ACM International Conference on the Foundations of Software Engineering (FSE'26) PAPER

  • [TOSEM'26] A Comprehensive Study on Large Language Models for Mutation Testing
    Bo Wang, Mingda Chen, Ming Deng, Youfang Lin, Mark Harman, Mike Papadakis, Jie M. Zhang.
    ACM Transactions on Software Engineering and Methodology (TOSEM'26) PAPER

  • [ASE'21] Faster Mutation Analysis with Fewer Processes and Smaller Overheads
    Bo Wang#, Sirui Lu#, Yingfei Xiong, Feng Liu.
    36th IEEE/ACM International Conference on Automated Software Engineering (ASE'21) PAPER

  • [ISSTA'17] Faster Mutation Analysis via Equivalence Modulo States
    Bo Wang, Yingfei Xiong, Yangqingwei Shi, Lu Zhang, Dan Hao.
    26th International Symposium on Software Testing and Analysis (ISSTA'17) PAPER ACM SIGSOFT DISTINGUISHED PAPER AWARD


    • 3) Automated Program Repair

  • [ICSME'25] Boosting Redundancy-based Automated Program Repair by Fine-grained Pattern Mining
    Jiajun Jiang, Fengjie Li, Zijie Zhao, Zhirui Ye, Mengjiao Liu, Bo Wang, Hongyu Zhang, Junjie Chen.
    41st International Conference on Software Maintenance and Evolution (ICSME'25) PAPER IEEE TCSE DISTINGUISHED PAPER AWARD

  • [TSE'24] Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling
    Yuan-An Xiao, Chenyang Yang, Bo Wang, Yingfei Xiong.
    IEEE Transactions on Software Engineering (TSE'24) PAPER

  • [TOSEM'22] L2S: A Framework for Synthesizing the Most Probable Program under a Specification
    Yingfei Xiong, Bo Wang.
    ACM Transactions on Software Engineering and Methodology (TOSEM'22) PAPER

  • [TOSEM'21] Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction
    Xiang Gao, Bo Wang*, Gregory J. Duck, Ruyi Ji, Yingfei Xiong, Abhik Roychoudhury.
    ACM Transactions on Software Engineering and Methodology (TOSEM'21) PAPER


    • 4) Test Generation

  • [ISSTA'26] From Greedy Steps to Global Optimization: Learning Sequential Test Suite Generation
    Guoqing Wang, Chengran Yang, Xiaoxuan Zhou, Zeyu Sun, Bo Wang, David Lo, Dan Hao.
    ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'26) PAPER

  • [ASE'24] On the Evaluation of Large Language Models in Unit Test Generation
    Lin Yang, Chen Yang, Shutao Gao, Weijing Wang, Bo Wang, Qihao Zhu, Xiao Chu, Jianyi Zhou, Guangtai Liang, Qianxiang Wang, Junjie Chen.
    39th IEEE/ACM International Conference on Automated Software Engineering (ASE'24) PAPER

Academic Service

I used to serve as a PC member for the following international conferences:
  • ICSE, FSE, ASE, ISSTA, ICST, APR Workshop.
I am a reviewer of the following journals:
  • ACM Computing Surveys
  • IEEE Transactions on Software Engineering
  • ACM Transactions on Software Engineering and Methodology
  • IEEE Transactions on Dependable and Secure Computing
  • ACM Formal Aspects of Computing
  • Empirical Software Engineering
  • The Journal of Systems & Software
  • Automated Software Engineering Journal
  • Journal of Software Evolution and Process

Teaching

  • Introduction to Computer Systems (Course Leader)
  • Compiler Principles (Instructor)
  • Parallel and Distributed Computing (Instructor)