Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction X GAO, BO WANG, GJ DUCK, R JI, Y XIONG, A ROYCHOUDHURY | 93 | 2021 |
Faster mutation analysis via equivalence modulo states B Wang, Y Xiong, Y Shi, L Zhang, D Hao Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017 | 76 | 2017 |
L2S: A framework for synthesizing the most probable program under a specification Y Xiong, B Wang ACM Transactions on Software Engineering and Methodology (TOSEM) 31 (3), 1-45, 2022 | 21 | 2022 |
Learning to synthesize Y Xiong, B Wang, G Fu, L Zang Proceedings of the 4th International Workshop on Genetic Improvement …, 2018 | 17 | 2018 |
Deep learning-based software engineering: progress, challenges, and opportunities X Chen, X Hu, Y Huang, H Jiang, W Ji, Y Jiang, Y Jiang, B Liu, H Liu, X Li, ... Science China Information Sciences 68 (1), 1-88, 2025 | 12 | 2025 |
Accelerating patch validation for program repair with interception-based execution scheduling YA Xiao, C Yang, B Wang, Y Xiong IEEE Transactions on Software Engineering, 2024 | 12 | 2024 |
ExpressAPR: Efficient patch validation for java automated program repair systems YA Xiao, C Yang, B Wang, Y Xiong 2023 38th IEEE/ACM International Conference on Automated Software …, 2023 | 10 | 2023 |
Faster mutation analysis with fewer processes and smaller overheads B Wang, S Lu, Y Xiong, F Liu 2021 36th IEEE/ACM International Conference on Automated Software …, 2021 | 10 | 2021 |
On the evaluation of large language models in unit test generation L Yang, C Yang, S Gao, W Wang, B Wang, Q Zhu, X Chu, J Zhou, G Liang, ... Proceedings of the 39th IEEE/ACM International Conference on Automated …, 2024 | 9 | 2024 |
An empirical study of unit test generation with large language models L Yang, C Yang, S Gao, W Wang, B Wang, Q Zhu, X Chu, J Zhou, G Liang, ... arXiv preprint arXiv:2406.18181, 2024 | 7 | 2024 |
Evaluating fault localization and program repair capabilities of existing closed-source general-purpose LLMs S Jiang, J Zhang, W Chen, B Wang, J Zhou, J Zhang Proceedings of the 1st International Workshop on Large Language Models for …, 2024 | 7 | 2024 |
An Exploratory Study on Using Large Language Models for Mutation Testing B Wang, M Chen, Y Lin, M Papadakis, JM Zhang arXiv preprint arXiv:2406.09843, 2024 | 2 | 2024 |
Enhanced evolutionary automated program repair by finer-granularity ingredients and better search algorithms B Wang, G Liu, Y Lin, S Ren, H Li, D Zhang Proceedings of the 13th Asia-Pacific Symposium on Internetware, 107-116, 2022 | 2 | 2022 |
Survey of Dynamic Analysis Based Program Invariant Synthesis Techniques B Wang, S Lu, J Jiang, Y Xiong Journal of Software 31 (6), 1681-1702, 2020 | 2 | 2020 |
Enhancing Redundancy-based Automated Program Repair by Fine-grained Pattern Mining J Jiang, Z Zhao, Z Ye, B Wang, H Zhang, J Chen arXiv preprint arXiv:2312.15955, 2023 | 1 | 2023 |
A Systematic Exploration of Mutation‐Based Fault Localization Formulae B Wang, J Wei, M Chen, C Chen, Y Lin, JM Zhang Software Testing, Verification and Reliability 35 (1), e1905, 2025 | | 2025 |
PTE: Axiomatic Semantics based Compiler Testing G Dong, J Sun, R Schumi, B Wang, X Wang arXiv preprint arXiv:2401.01036, 2024 | | 2024 |
Enhanced evolutionary automated program repair by finer-granularity ingredients and better search algorithms B Wang, G Liu, Y Lin, S Ren, H Li, D Zhang Journal of Software: Evolution and Process 36 (6), e2624, 2024 | | 2024 |
Dynamic analysis of shared execution in software product line testing B Wang Proceedings of the 20th International Systems and Software Product Line …, 2016 | | 2016 |