Henrique Linhares, João Felipe Pimentel, Troy Kohwalter, and Leonardo Murta. 2019. Provenance-enhanced Algorithmic Debugging. In Anais do XXXIII Simpósio Brasileiro de Engenharia de Software, setembro 23, 2019, Salvador, Brasil. SBC, Porto Alegre, Brasil.