I am an Assistant Professor (Lecturer Equivalence) in School of Computer and Information Technology at Beijing Jiaotong University (BJTU). I received my PhD degree in Computer Science from Peking University in 2021. I was a visiting Ph.D. student at National University of Singapore (2019).

My recent research projects are mainly focused on:
1) Mutation Analysis (ASE 2021, ISSTA 2017);
2) Automated Program Repair (TOSEM 2022, TOSEM 2020);
3) The intersection of AI and system software testing techniques.

Education & Employment

• 03/2021~Now, School of Computer and Information Technology, Beijing Jiaotong University, Tenure-Track Assistant Professor.
• 12/2023~12/2024, School of Computing and Information Systems, Singapore Management University, Visiting Scholar.
• 01/2019~09/2019, National University of Singapore, visiting Ph.D. student in School of Computing, supervised by Prof. Abhik Roychoudhury.
• 09/2015~01/2021, Peking University, Ph.D. Student, supervised by Prof. Yingfei Xiong.
• 09/2012~07/2015, University of Science and Technology of China, Master.
• 09/2008~07/2012, Central South University, Bachelor.

Selected Recent Publications (Full List)

Mutation Analysis

---

• 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

• 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
  




Automated Program Repair

---

• 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'20) PAPER
  

• 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
  

Academic Service

• 2024: ICST 2024, ASE 2024, APR 2024.
• 2023: ASE 2023, ASE 2023 NIER, ICST 2023, PRDC 2023, PRDC 2023 Fast Abstract.
• 2022: ASE Artifact Evaluation 2022, PRDC 2022 Fast Abstract.

• IEEE TSE, ACM TOSEM, IEEE TDSC, Empirical Software Engineering, The Journal of Systems & Software, Automated Software Engineering Journal, Journal of Software Evolution and Process.

Teaching

• Introduction to Computer Systems, Spring 2023.
• Compiler Techniques, Fall 2022.