Our paper “Toward More Efficient Statistical Debugging with Abstraction Refinement” has been accepted to be published on ACM Transactions on Software Engineering and Methodology (TOSEM).