H. Linhares, J. Pimentel, T. Kohwalter, and L. Murta. "Provenance-enhanced Algorithmic Debugging", in Anais do XXXIII Brazilian Symposium on Software Engineering, Salvador, 2019.