Bo Wang
Assistant Professor, Master Supervisor

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

Google Scholar
Github

I am an Assistant Professor (equivalent to Lecturer in China) in School of Computer Science and 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


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

I am a PC member of the following international conferences: I am a reviewer of the following journals:
  • 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.