Toward More Efficient Statistical Debugging with Abstraction Refinement. - Zhiqiang Zuo 002; Xintao Niu; Siyi Zhang 011; Lu Fang 003; Siau-Cheng Khoo; Shan Lu 001; Chengnian Sun; Guoqing Harry Xu (ACM Trans. Softw. Eng. Methodol., 2023)