Proceedings of the sixth international symposium on Automated analysis-driven debugging
ACM Digital Library