Bo Wang's Publications

Google Scholar

* the corresponding author, # co-first authors


  1. A Systematic Exploration of Mutation-Based Fault Localization Formulae
    Bo Wang, Jinkang Wei, Mingda Chen, Chong Chen, Youfang Lin, Jie M. Zhang.
    Software Testing, Verification and Reliability (STVR'24) PAPER

  2. On the Evaluation of Large Language Models in Unit Test Generation
    Lin Yang, Chen Yang, Shutao Gao, Weijing Wang, Bo Wang, Qihao Zhu, Xiao Chu, Jianyi Zhou, Guangtai Liang, Qianxiang Wang, Junjie Chen.
    39th IEEE/ACM International Conference on Automated Software Engineering (ASE'24) PAPER

  3. Deep Learning-based Software Engineering: Progress, Challenges, and Opportunities
    Xiangping Chen*, ..., Bo Wang*, ..., Lu Zhang*.
    SCIENCE CHINA Information Sciences (SCIS'24) PAPER

  4. Evaluating Fault Localization and Program Repair Capabilities of Existing Closed-Source General-Purpose LLMs
    Shengbei Jiang, Jiabao Zhang, Wei Chen, Bo Wang*, Jianyi Zhou, Jie M. Zhang.
    The 1st LLM4Code Workshop (LLM4Code'24) PAPER

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

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

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

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

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

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

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

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

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

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