Bo Wang (王博)


School of Computer and Infomation Technology

Beijing Jiaotong University

wangbo_pku_15 [AT] 163 [DOT] com

My research interests are mainly in automated program repair, software testing and compiler techniques. I am also interested in AI techniques.

Education & Experience


[Google Scholar]

  • Yingfei Xiong, Bo Wang. L2S: a Framework for Synthesizing the Most Probable Program under a Specification. TOSEM’21: ACM Transactions on Software Engineering and Methodology.
  • Bo Wang, Sirui Lu, Yingfei Xiong, Feng Liu. Faster Mutation Analysis with Fewer Processes and Smaller Overheads. ASE’21: 36th IEEE/ACM International Conference on Automated Software Engineering, November 2021.
  • Xiang Gao, Bo Wang, Gregory J. Duck, Ruyi Ji, Yingfei Xiong, Abhik Roychoudhury. Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction. ACM Transactions on Software Engineering and Methodology (TOSEM). [Paper].
  • Bo Wang, Sirui Lu, Jiajun Jiang, Yingfei Xiong. Survey of Dynamic Analysis Based Program Invariant Synthesis Techniques. Journal of Software (In Chinese). [Paper]
  • Yingfei Xiong, Bo Wang, Guirong Fu, Linfei Zang. Learning to Synthesize. GI’18: International Genetic Improvement Workshop, Gothenburg, Sweden, June, 2018. [Paper] [Slides] [Results]

  • Bo Wang, Yingfei Xiong, Yangqingwei Shi, Lu Zhang, Dan Hao. Faster Mutation Analysis via Equivalence Modulo States. ISSTA’17: International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 2017. ACM SIGSOFT Distinguished Paper Award. [Paper] [Tool]

  • Bo Wang. Dynamic Analysis of Shared Execution in Software Product Line Testing. SPLC’16-Doctoral Symposium: International Systems and Software Product Line Conference, Beijing, China, September, 2016. [Paper]

Academic Services

  • 2018: ICSE sub-reviewer, ASE sub-reviewer, NASAC sub-reviewer, FASE sub-reviewer
  • 2017: SPLC sub-reviewer, FASE sub-reviewer
  • 2016: ASE Demo Track sub-reviewer, SPLC volunteer, SPLC sub-reviewer, FASE sub-reviewer

Teaching Assistant Experience:

I worked as TA for the course Software Analysis in Peking University, in 2016 and 2017, introducing the LLVM project in a two-hours course.



  • Learning to Synthesize. Presentation talk at GI’18. Gothenburg, Sweden. June. 2018. [Slides]

  • Context-Based Automated Program Repair Techniques. Presentation at NASAC’18, co-report with Ming Wen from HKUST. Shenzhen, China. Nov. 2018.


  • Precise Condition Synthesis for Program Repair. Invited talk at APSEC’17. Nanjing, China. Oct. 2017. [Slides]

Language Ability

  • Mandarin
  • English
  • Japanese