Bo Wang

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 10

Top Topics

Search Problems

Program Execution

Programming Environment

Statistical Analysis

Top Venues

ACM Trans. Softw. Eng. Methodol.

Publications

Bo Wang, Guizhuang Liu, Youfang Lin, Shuang Ren, Honghui Li, Dalin Zhang
Enhanced evolutionary automated program repair by finer-granularity ingredients and better search algorithms. J. Softw. Evol. Process. 36 (6) (2024)
Yuan-An Xiao, Chenyang Yang, Bo Wang, Yingfei Xiong
Accelerating Patch Validation for Program Repair With Interception-Based Execution Scheduling. IEEE Trans. Software Eng. 50 (3) (2024)
Yuan-an Xiao, Chenyang Yang, Bo Wang, Yingfei Xiong
ExpressAPR: Efficient Patch Validation for Java Automated Program Repair Systems. ASE (2023)
Yingfei Xiong, Bo Wang
L2S: A Framework for Synthesizing the Most Probable Program under a Specification. ACM Trans. Softw. Eng. Methodol. 31 (3) (2022)
Xiang Gao, Bo Wang, Gregory J. Duck, Ruyi Ji, Yingfei Xiong, Abhik Roychoudhury
Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction. ACM Trans. Softw. Eng. Methodol. 30 (2) (2021)
Bo Wang, Sirui Lu, Yingfei Xiong, Feng Liu
Faster Mutation Analysis with Fewer Processes and Smaller Overheads. ASE (2021)
Yingfei Xiong, Bo Wang, Guirong Fu, Linfei Zang
Learning to Synthesize. CoRR (2018)
Yingfei Xiong, Bo Wang, Guirong Fu, Linfei Zang
Learning to synthesize. GI@ICSE (2018)
Bo Wang, Yingfei Xiong, Yangqingwei Shi, Lu Zhang, Dan Hao
Faster Mutation Analysis via Equivalence Modulo States. CoRR (2017)
Bo Wang, Yingfei Xiong, Yangqingwei Shi, Lu Zhang, Dan Hao
Faster mutation analysis via equivalence modulo states. ISSTA (2017)
Bo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Wei Zhang, Hong Mei
Interactive Inconsistency Fixing in Feature Modeling. J. Comput. Sci. Technol. 29 (4) (2014)
Bo Wang, Leonardo Teixeira Passos, Yingfei Xiong, Krzysztof Czarnecki, Haiyan Zhao, Wei Zhang
SmartFixer: fixing software configurations based on dynamic priorities. SPLC (2013)
Bo Wang, Zhenjiang Hu, Qiang Sun, Haiyan Zhao, Yingfei Xiong, Wei Zhang, Hong Mei
Supporting feature model refinement with updatable view. Frontiers Comput. Sci. 7 (2) (2013)
Bo Wang, Zhenjiang Hu, Yingfei Xiong, Haiyan Zhao, Wei Zhang, Hong Mei
Tolerating Inconsistency in Feature Models. LWI@ASE (2010)
Bo Wang, Haiyan Zhao, Wei Zhang, Zhi Jin, Hong Mei
A problem-driven collaborative approach to eliciting requirements of internetwares. Internetware (2010)
Bo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Wei Zhang, Hong Mei
A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models. MoDELS (1) (2010)
Bo Wang, Wei Zhang, Haiyan Zhao, Zhi Jin, Hong Mei
A Use Case Based Approach to Feature Models' Construction. RE (2009)