Bo Wang's Publications

Google Scholar

* the corresponding author, # co-first authors


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

  2. ExpressAPR: Efficient Patch Validation for Java Automated Program Repair Systems
    Yuan-An Xiao, Chenyang Yang, Bo Wang, Yingfei Xiong.
    38th IEEE/ACM International Conference on Automated Software Engineering Demo Track (ASE'23 Demo) PAPER

  3. Enhanced Evolutionary Automated Program Repair by Finer-Granularity Ingredients and Better Search Algorithms
    Bo Wang*, Guizhuang Liu Youfang Lin, Shuang Ren, Honghui Li, Dalin Zhang.
    Journal of Software: Evolution and Process (JSEP'23) PAPER

  4. Enhanced Evolutionary Automated Program Repair by Finer-Granularity Ingredients and Better Search Algorithms
    Bo Wang, Guizhuang Liu Youfang Lin, Shuang Ren, Honghui Li, Dalin Zhang.
    13th Asia-Pacific Symposium on Internetware (Internetware'22) PAPER

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

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

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

  8. Survey of Dynamic Analysis Based Program Invariant Synthesis Techniques
    Bo Wang, Sirui Lu, Jiajun Jiang, Yingfei Xiong.
    Journal of Software (In Chinese) (JOS'20) PAPER

  9. Learning to Synthesize
    Yingfei Xiong, Bo Wang, Guirong Fu, Linfei Zang.
    The 4th International Workshop on Genetic Improvement Workshop PAPER

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