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