Bo Wang

Bo Wang

Beijing Jiaotong University - Beijing / China
Engineering & Technology / Computer Science
AD Scientific Index ID: 4755045
北京交通大学
person_outline Bo Wang's MOST POPULAR ARTICLES
1-) Beyond Tests: Program Vulnerability Repair via Crash Constraint ExtractionX GAO, BO WANG, GJ DUCK, R JI, Y XIONG, A ROYCHOUDHURY782021
2-) Faster mutation analysis via equivalence modulo statesB Wang, Y Xiong, Y Shi, L Zhang, D HaoProceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017732017
3-) L2S: A framework for synthesizing the most probable program under a specificationY Xiong, B WangACM Transactions on Software Engineering and Methodology (TOSEM) 31 (3), 1-45, 2022172022
4-) Learning to synthesizeY Xiong, B Wang, G Fu, L ZangProceedings of the 4th International Workshop on Genetic Improvement …, 2018172018
5-) Accelerating patch validation for program repair with interception-based execution schedulingYA Xiao, C Yang, B Wang, Y XiongIEEE Transactions on Software Engineering, 2024102024