Low-overhead and fully automated statistical debugging with abstraction refinement

Zhiqiang Zuo, Lu Fang, Siau-Cheng Khoo, Guoqing (Harry) Xu, Shan Lu. Low-overhead and fully automated statistical debugging with abstraction refinement. In Eelco Visser, Yannis Smaragdakis, editors, Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2016, part of SPLASH 2016, Amsterdam, The Netherlands, October 30 - November 4, 2016. pages 881-896, ACM, 2016. [doi]

Authors

Zhiqiang Zuo

This author has not been identified. Look up 'Zhiqiang Zuo' in Google

Lu Fang

This author has not been identified. Look up 'Lu Fang' in Google

Siau-Cheng Khoo

This author has not been identified. Look up 'Siau-Cheng Khoo' in Google

Guoqing (Harry) Xu

This author has not been identified. Look up 'Guoqing (Harry) Xu' in Google

Shan Lu

This author has not been identified. Look up 'Shan Lu' in Google