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