Low-overhead and fully automated statistical debugging with abstraction refinement.

Zhiqiang Zuo, Lu Fang, Siau-Cheng Khoo, Guoqing Xu, Shan Lu

Browse the full OOPSLA paper archive.