| 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 | 69 | 2017 |
| Beyond Tests: Program Vulnerability Repair via Crash Constraint Extraction X GAO, BO WANG, GJ DUCK, R JI, Y XIONG, A ROYCHOUDHURY | 54 | 2021 |
| Learning to synthesize Y Xiong, B Wang, G Fu, L Zang Proceedings of the 4th International Workshop on Genetic Improvement …, 2018 | 17 | 2018 |
| 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 | 16 | 2022 |
| 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 | 5 | 2021 |
| 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 | 4 | 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 | 2 | 2023 |
| 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 | 1 | 2022 |
| 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, 2023 | | 2023 |
| 基于动态分析的软件不变量综合技术 王博， 卢思睿， 姜佳君， 熊英飞 软件学报 31 (6), 1681-1702, 2020 | | 2020 |
Yingfei XiongAssociate Professor, Peking UniversityVerified email at sei.pku.edu.cn
