Toward More Efficient Statistical Debugging with Abstraction Refinement

Zhiqiang Zuo 0002, Xintao Niu, Siyi Zhang, Lu Fang, Siau-Cheng Khoo, Shan Lu 0001, Chengnian Sun, Guoqing Harry Xu. Toward More Efficient Statistical Debugging with Abstraction Refinement. ACM Transactions on Software Engineering Methodology, 32(2), April 2023. [doi]

Abstract

Abstract is missing.