Bo Wang

According to our database, Bo Wang authored at least 16 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Accelerating Patch Validation for Program Repair With Interception-Based Execution Scheduling.

Yuan-An Xiao, Chenyang Yang, Bo Wang, Yingfei Xiong

IEEE Trans. Software Eng., March, 2024

2023

ExpressAPR: Efficient Patch Validation for Java Automated Program Repair Systems.

Yuan-an Xiao, Chenyang Yang, Bo Wang, Yingfei Xiong

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

2022

L2S: A Framework for Synthesizing the Most Probable Program under a Specification.

Yingfei Xiong, Bo Wang

ACM Trans. Softw. Eng. Methodol., 2022

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

Proceedings of the Internetware 2022: 13th Asia-Pacific Symposium on Internetware, Hohhot, China, June 11, 2022

2021

Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction.

Xiang Gao, Bo Wang, Gregory J. Duck, Ruyi Ji, Yingfei Xiong, Abhik Roychoudhury

ACM Trans. Softw. Eng. Methodol., 2021

Faster Mutation Analysis with Fewer Processes and Smaller Overheads.

Bo Wang, Sirui Lu, Yingfei Xiong, Feng Liu

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

2018

Learning to synthesize.

Yingfei Xiong, Bo Wang, Guirong Fu, Linfei Zang

Proceedings of the 4th International Genetic Improvement Workshop, 2018

2017

Faster mutation analysis via equivalence modulo states.

Bo Wang, Yingfei Xiong, Yangqingwei Shi, Lu Zhang, Dan Hao

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

2016

Dynamic analysis of shared execution in software product line testing.

Bo Wang

Proceedings of the 20th International Systems and Software Product Line Conference, 2016

2014

Interactive Inconsistency Fixing in Feature Modeling.

Bo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Wei Zhang, Hong Mei

J. Comput. Sci. Technol., 2014

2013

Supporting feature model refinement with updatable view.

Bo Wang, Zhenjiang Hu, Qiang Sun, Haiyan Zhao, Yingfei Xiong, Wei Zhang, Hong Mei

Frontiers Comput. Sci., 2013

SmartFixer: fixing software configurations based on dynamic priorities.

Bo Wang, Leonardo Teixeira Passos, Yingfei Xiong, Krzysztof Czarnecki, Haiyan Zhao, Wei Zhang

Proceedings of the 17th International Software Product Line Conference, 2013

2010

A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models.

Bo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Wei Zhang, Hong Mei

Proceedings of the Model Driven Engineering Languages and Systems, 2010

Tolerating Inconsistency in Feature Models.

Bo Wang, Zhenjiang Hu, Yingfei Xiong, Haiyan Zhao, Wei Zhang, Hong Mei

Proceedings of the 3rd Workshop on Living with Inconsistencies in Software Development, 2010

A problem-driven collaborative approach to eliciting requirements of internetwares.

Bo Wang, Haiyan Zhao, Wei Zhang, Zhi Jin, Hong Mei

Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010

2009

A Use Case Based Approach to Feature Models' Construction.

Bo Wang, Wei Zhang, Haiyan Zhao, Zhi Jin, Hong Mei

Proceedings of the RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31, 2009