Linhares, H., Pimentel, J., Kohwalter, T., & Murta, L. (2019). Provenance-enhanced Algorithmic Debugging. In Anais do XXXIII Brazilian Symposium on Software Engineering. Porto Alegre: SBC.