Low-overhead and fully automated statistical debugging with abstraction refinement

Document Details

Document Type
Pub Defense Publication
Publication Date
Oct 19, 2016
Source ID
10.1145/2983990.2984005

Entities

People

  • Guoqing Xu
  • Lu Fang
  • Shan Lu
  • Siau-cheng Khoo
  • Zhiqiang Zuo

Organizations

  • Alfred P. Sloan Foundation
  • Division of Computer and Network Systems
  • Division of Computing and Communication Foundations
  • National University of Singapore
  • Office of Naval Research
  • University of California, Irvine
  • University of Chicago