Proceedings of the ACM SIGSOFTSIGPLAN software engineering symposium on High-level debugging
ACM Digital Library