1. Automated patch correctness predicting to fix software defect;Expert Systems with Applications;2024-12
2. FortifyPatch: Towards Tamper-Resistant Live Patching in Linux-Based Hypervisor;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
3. Test-based patch clustering for automatically-generated patches assessment;Empirical Software Engineering;2024-07-24
4. Verification of Programs with Common Fragments;Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering;2024-07-10
5. Improving Patch Correctness Analysis via Random Testing and Large Language Models;2024 IEEE Conference on Software Testing, Verification and Validation (ICST);2024-05-27