Linhares, Henrique, João Felipe Pimentel, Troy Kohwalter, and Leonardo Gresta Paulino Murta. "Provenance-enhanced Algorithmic Debugging." Anais do XXXIII Simpósio Brasileiro de Engenharia de Software, Salvador, 2019. SBC, 2019, sem paginação.