Bo Wang

41 papers A* 3A 3B 3C 1Journal 25Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Assessing the effectiveness of recent closed-source large language models in fault localization and automated program repair.
Autom. Softw. Eng.
Bo Wang, Ming Deng, Mingda Chen, Youfang Lin, Jianyi Zhou, Jie M. Zhang
2026 J jnl
Boosting LLMs for Mutation Generation.
CoRR
Bo Wang, Ming Deng, Mingda Chen, Chengran Yang, Youfang Lin, Mark Harman, Mike Papadakis, Jie M. Zhang
2026 J jnl
Finding Memory Leaks in C/C++ Programs via Neuro-Symbolic Augmented Static Analysis.
CoRR
Huihui Huang, Jieke Shi, Bo Wang, Zhou Yang, David Lo
2026 J jnl
Hidden Licensing Risks in the LLMware Ecosystem.
CoRR
Bo Wang, Yueyang Chen, Jieke Shi, Minghui Li, Yunbo Lyu, Yinan Wu, Youfang Lin, Zhou Yang
2025 J jnl
A Comprehensive Study of OOP-Related Bugs in C++ Compilers.
IEEE Trans. Software Eng.
Bo Wang, Chong Chen, Junjie Chen, Bowen Xu, Chen Ye, Youfang Lin, Guoliang Dong, Jun Sun
2025 J jnl
A Systematic Exploration of Mutation-Based Fault Localization Formulae.
Softw. Test. Verification Reliab.
Bo Wang, Jinkang Wei, Mingda Chen, Chong Chen, Youfang Lin, Jie M. Zhang
2025 A conf
Boosting Redundancy-Based Automated Program Repair by Fine-Grained Pattern Mining.
ICSME
Jiajun Jiang, Fengjie Li, Zijie Zhao, Zhirui Ye, Mengjiao Liu, Bo Wang, Hongyu Zhang, Junjie Chen
2025 C conf
CAMUS: Context-Aware Neural Mutation Selection.
APSEC
Mingda Chen, Bo Wang, Youfang Lin, Jie M. Zhang
2025 J jnl
Deep learning-based software engineering: progress, challenges, and opportunities.
Sci. China Inf. Sci.
Xiangping Chen, Xing Hu, Yuan Huang, He Jiang, Weixing Ji, Yanjie Jiang, Yanyan Jiang, Bo Liu, Hui Liu, Xiaochen Li, Xiaoli Lian, Guozhu Meng, Xin Peng, Hailong Sun, Lin Shi, Bo Wang, Chong Wang, Jiayi Wang, Tiantian Wang, Jifeng Xuan, Xin Xia, Yibiao Yang, Yixin Yang, Li Zhang, Yuming Zhou, Lu Zhang
2025 J jnl
Fuzzing C++ Compilers via Type-Driven Mutation.
Proc. ACM Program. Lang.
Bo Wang, Chong Chen, Ming Deng, Junjie Chen, Xing Zhang, Youfang Lin, Dan Hao, Jun Sun
2025 J jnl
LLMs are Bug Replicators: An Empirical Study on LLMs' Capability in Completing Bug-prone Code.
CoRR
Liwei Guo, Sixiang Ye, Zeyu Sun, Xiang Chen, Yuxia Zhang, Bo Wang, Jie M. Zhang, Zheng Li, Yong Liu
2025 J jnl
Mut4All: Fuzzing Compilers via LLM-Synthesized Mutators Learned from Bug Reports.
CoRR
Bo Wang, Pengyang Wang, Chong Chen, Qi Sun, Jieke Shi, Chengran Yang, Ming Deng, Youfang Lin, Zhou Yang, David Lo
2025 B conf
RustMap: Towards Project-Scale C-to-Rust Migration via Program Analysis and LLM.
ICECCS
Xuemeng Cai, Jiakun Liu, Xiping Huang, Yijun Yu, Haitao Wu, Chunmiao Li, Bo Wang, Imam Nur Bani Yusuf, Lingxiao Jiang
2025 J jnl
RustMap: Towards Project-Scale C-to-Rust Migration via Program Analysis and LLM.
CoRR
Xuemeng Cai, Jiakun Liu, Xiping Huang, Yijun Yu, Haitao Wu, Chunmiao Li, Bo Wang, Imam Nur Bani Yusuf, Lingxiao Jiang
2024 J jnl
Accelerating Patch Validation for Program Repair With Interception-Based Execution Scheduling.
IEEE Trans. Software Eng.
Yuan-an Xiao, Chenyang Yang, Bo Wang, Yingfei Xiong
2024 J jnl
An Empirical Study of Unit Test Generation with Large Language Models.
CoRR
Lin Yang, Chen Yang, Shutao Gao, WeiJing Wang, Bo Wang, Qihao Zhu, Xiao Chu, Jianyi Zhou, Guangtai Liang, Qianxiang Wang, Junjie Chen
2024 J jnl
An Exploratory Study on Using Large Language Models for Mutation Testing.
CoRR
Bo Wang, Mingda Chen, Youfang Lin, Mike Papadakis, Jie M. Zhang
2024 J jnl
Deep Learning-based Software Engineering: Progress, Challenges, and Opportunities.
CoRR
Xiangping Chen, Xing Hu, Yuan Huang, He Jiang, Weixing Ji, Yanjie Jiang, Yanyan Jiang, Bo Liu, Hui Liu, Xiaochen Li, Xiaoli Lian, Guozhu Meng, Xin Peng, Hailong Sun, Lin Shi, Bo Wang, Chong Wang, Jiayi Wang, Tiantian Wang, Jifeng Xuan, Xin Xia, Yibiao Yang, Yixin Yang, Li Zhang, Yuming Zhou, Lu Zhang
2024 J jnl
Enhanced evolutionary automated program repair by finer-granularity ingredients and better search algorithms.
J. Softw. Evol. Process.
Bo Wang, Guizhuang Liu, Youfang Lin, Shuang Ren, Honghui Li, Dalin Zhang
2024 — conf
Evaluating Fault Localization and Program Repair Capabilities of Existing Closed-Source General-Purpose LLMs.
LLM4CODE@ICSE
Shengbei Jiang, Jiabao Zhang, Wei Chen, Bo Wang, Jianyi Zhou, Jie Zhang
2024 A* conf
On the Evaluation of Large Language Models in Unit Test Generation.
ASE
Lin Yang, Chen Yang, Shutao Gao, WeiJing Wang, Bo Wang, Qihao Zhu, Xiao Chu, Jianyi Zhou, Guangtai Liang, Qianxiang Wang, Junjie Chen
2024 J jnl
PTE: Axiomatic Semantics based Compiler Testing.
CoRR
Guoliang Dong, Jun Sun, Richard Schumi, Bo Wang, Xinyu Wang
2023 J jnl
Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling.
CoRR
Yuan-an Xiao, Chenyang Yang, Bo Wang, Yingfei Xiong
2023 J jnl
Enhancing Redundancy-based Automated Program Repair by Fine-grained Pattern Mining.
CoRR
Jiajun Jiang, Zijie Zhao, Zhirui Ye, Bo Wang, Hongyu Zhang, Junjie Chen
2023 A* conf
ExpressAPR: Efficient Patch Validation for Java Automated Program Repair Systems.
ASE
Yuan-an Xiao, Chenyang Yang, Bo Wang, Yingfei Xiong
2022 — conf
Enhanced Evolutionary Automated Program Repair by Finer-Granularity Ingredients and Better Search Algorithms.
Internetware
Bo Wang, Guizhuang Liu, Youfang Lin, Shuang Ren, Honghui Li, Dalin Zhang
2022 J jnl
L2S: A Framework for Synthesizing the Most Probable Program under a Specification.
ACM Trans. Softw. Eng. Methodol.
Yingfei Xiong, Bo Wang
2021 J jnl
Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction.
ACM Trans. Softw. Eng. Methodol.
Xiang Gao, Bo Wang, Gregory J. Duck, Ruyi Ji, Yingfei Xiong, Abhik Roychoudhury
2021 A* conf
Faster Mutation Analysis with Fewer Processes and Smaller Overheads.
ASE
Bo Wang, Sirui Lu, Yingfei Xiong, Feng Liu
2018 J jnl
Learning to Synthesize.
CoRR
Yingfei Xiong, Bo Wang, Guirong Fu, Linfei Zang
2018 — conf
Learning to synthesize.
GI@ICSE
Yingfei Xiong, Bo Wang, Guirong Fu, Linfei Zang
2017 J jnl
Faster Mutation Analysis via Equivalence Modulo States.
CoRR
Bo Wang, Yingfei Xiong, Yangqingwei Shi, Lu Zhang, Dan Hao
2017 A conf
Faster mutation analysis via equivalence modulo states.
ISSTA
Bo Wang, Yingfei Xiong, Yangqingwei Shi, Lu Zhang, Dan Hao
2016 B conf
Dynamic analysis of shared execution in software product line testing.
SPLC
Bo Wang
2014 J jnl
Interactive Inconsistency Fixing in Feature Modeling.
J. Comput. Sci. Technol.
Bo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Wei Zhang, Hong Mei
2013 B conf
SmartFixer: fixing software configurations based on dynamic priorities.
SPLC
Bo Wang, Leonardo Teixeira Passos, Yingfei Xiong, Krzysztof Czarnecki, Haiyan Zhao, Wei Zhang
2013 J jnl
Supporting feature model refinement with updatable view.
Frontiers Comput. Sci.
Bo Wang, Zhenjiang Hu, Qiang Sun, Haiyan Zhao, Yingfei Xiong, Wei Zhang, Hong Mei
2010 — conf
A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models.
MoDELS (1)
Bo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Wei Zhang, Hong Mei
2010 — conf
A problem-driven collaborative approach to eliciting requirements of internetwares.
Internetware
Bo Wang, Haiyan Zhao, Wei Zhang, Zhi Jin, Hong Mei
2010 — conf
Tolerating Inconsistency in Feature Models.
LWI@ASE
Bo Wang, Zhenjiang Hu, Yingfei Xiong, Haiyan Zhao, Wei Zhang, Hong Mei
2009 A conf
A Use Case Based Approach to Feature Models' Construction.
RE
Bo Wang, Wei Zhang, Haiyan Zhao, Zhi Jin, Hong Mei