A Use Case Based Approach to Feature Models' Construction. - Bo Wang 050; Wei Zhang 004; Haiyan Zhao 001; Zhi Jin; Hong Mei 001 (RE, 2009)

A problem-driven collaborative approach to eliciting requirements of internetwares. - Bo Wang 050; Haiyan Zhao 001; Wei Zhang 004; Zhi Jin; Hong Mei 001 (Internetware, 2010)

Tolerating Inconsistency in Feature Models. - Bo Wang 050; Zhenjiang Hu; Yingfei Xiong 001; Haiyan Zhao 001; Wei Zhang 004; Hong Mei 001 (LWI@ASE, 2010)

A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models. - Bo Wang 050; Yingfei Xiong 001; Zhenjiang Hu; Haiyan Zhao 001; Wei Zhang 004; Hong Mei 001 (MoDELS (1), 2010)

SmartFixer: fixing software configurations based on dynamic priorities. - Bo Wang 050; Leonardo Teixeira Passos; Yingfei Xiong 001; Krzysztof Czarnecki 001; Haiyan Zhao 001; Wei Zhang 004 (SPLC, 2013)

Supporting feature model refinement with updatable view. - Bo Wang 050; Zhenjiang Hu; Qiang Sun; Haiyan Zhao 001; Yingfei Xiong 001; Wei Zhang 004; Hong Mei 001 (Frontiers Comput. Sci., 2013)

Interactive Inconsistency Fixing in Feature Modeling. - Bo Wang 050; Yingfei Xiong 001; Zhenjiang Hu; Haiyan Zhao 001; Wei Zhang 004; Hong Mei 001 (J. Comput. Sci. Technol., 2014)

Dynamic analysis of shared execution in software product line testing. - Bo Wang 050 (SPLC, 2016)

Faster mutation analysis via equivalence modulo states. - Bo Wang 050; Yingfei Xiong 001; Yangqingwei Shi; Lu Zhang 023; Dan Hao 001 (ISSTA, 2017)

Learning to synthesize. - Yingfei Xiong 001; Bo Wang 050; Guirong Fu; Linfei Zang (GI@ICSE, 2018)

Faster Mutation Analysis with Fewer Processes and Smaller Overheads. - Bo Wang 050; Sirui Lu; Yingfei Xiong 001; Feng Liu (ASE, 2021)

Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction. - Xiang Gao 012; Bo Wang 050; Gregory J. Duck; Ruyi Ji; Yingfei Xiong 001; Abhik Roychoudhury (ACM Trans. Softw. Eng. Methodol., 2021)

L2S: A Framework for Synthesizing the Most Probable Program under a Specification. - Yingfei Xiong 001; Bo Wang 050 (ACM Trans. Softw. Eng. Methodol., 2022)

ExpressAPR: Efficient Patch Validation for Java Automated Program Repair Systems. - Yuan-an Xiao; Chenyang Yang 002; Bo Wang 050; Yingfei Xiong 001 (ASE, 2023)

Enhancing Redundancy-based Automated Program Repair by Fine-grained Pattern Mining. - Jiajun Jiang; Zijie Zhao; Zhirui Ye; Bo Wang 050; Hongyu Zhang 002; Junjie Chen 003 (CoRR, 2023)

On the Evaluation of Large Language Models in Unit Test Generation. - Lin Yang; Chen Yang; Shutao Gao; Weijing Wang; Bo Wang 050; Qihao Zhu; Xiao Chu; Jianyi Zhou; Guangtai Liang; Qianxiang Wang; Junjie Chen 003 (ASE, 2024)

Evaluating Fault Localization and Program Repair Capabilities of Existing Closed-Source General-Purpose LLMs. - Shengbei Jiang; Jiabao Zhang; Wei Chen; Bo Wang 050; Jianyi Zhou; Jie Zhang 050 (LLM4CODE@ICSE, 2024)

PTE: Axiomatic Semantics based Compiler Testing. - Guoliang Dong; Jun Sun 001; Richard Schumi; Bo Wang 050; Xinyu Wang 001 (CoRR, 2024)

An Exploratory Study on Using Large Language Models for Mutation Testing. - Bo Wang 050; Mingda Chen; Youfang Lin; Mike Papadakis; Jie M. Zhang (CoRR, 2024)

An Empirical Study of Unit Test Generation with Large Language Models. - Lin Yang; Chen Yang; Shutao Gao; Weijing Wang; Bo Wang 050; Qihao Zhu; Xiao Chu; Jianyi Zhou; Guangtai Liang; Qianxiang Wang; Junjie Chen 003 (CoRR, 2024)

Accelerating Patch Validation for Program Repair With Interception-Based Execution Scheduling. - Yuan-An Xiao; Chenyang Yang 002; Bo Wang 050; Yingfei Xiong 001 (IEEE Trans. Software Eng., 2024)

Enhanced evolutionary automated program repair by finer-granularity ingredients and better search algorithms. - Bo Wang 050; Guizhuang Liu; Youfang Lin; Shuang Ren; Honghui Li; Dalin Zhang 003 (J. Softw. Evol. Process., 2024)

Deep learning-based software engineering: progress, challenges, and opportunities. - Xiangping Chen; Xing Hu 008; Yuan Huang 002; He Jiang 001; Weixing Ji; Yanjie Jiang; Yanyan Jiang 001; Bo Liu 094; Hui Liu 003; Xiaochen Li; Xiaoli Lian; Guozhu Meng; et al. (Sci. China Inf. Sci., 2025)

A Systematic Exploration of Mutation-Based Fault Localization Formulae. - Bo Wang 050; Jinkang Wei; Mingda Chen; Chong Chen; Youfang Lin; Jie M. Zhang (Softw. Test. Verification Reliab., 2025)

LLMs are Bug Replicators: An Empirical Study on LLMs' Capability in Completing Bug-prone Code. - Liwei Guo; Sixiang Ye; Zeyu Sun 004; Xiang Chen 005; Yuxia Zhang; Bo Wang 050; Jie M. Zhang; Zheng Li 002; Yong Liu 030 (CoRR, 2025)

A Comprehensive Study of OOP-Related Bugs in C++ Compilers. - Bo Wang 050; Chong Chen; Junjie Chen 003; Bowen Xu; Chen Ye; Youfang Lin; Guoliang Dong; Jun Sun 001 (IEEE Trans. Software Eng., 2025)

Mut4All: Fuzzing Compilers via LLM-Synthesized Mutators Learned from Bug Reports. - Bo Wang 050; Pengyang Wang; Chong Chen; Qi Sun; Jieke Shi; Chengran Yang; Ming Deng; Youfang Lin; Zhou Yang 003; David Lo 001 (CoRR, 2025)