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): 618-635 (2024)