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.
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
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