H. Linhares, J. Pimentel, T. Kohwalter, and L. Murta.
"Provenance-enhanced Algorithmic Debugging", in <em>Anais do XXXIII Simpósio Brasileiro de Engenharia de Software</em>, Salvador, 2019.