Linhares, Henrique, João Felipe Pimentel, Troy Kohwalter, and Leonardo Gresta Paulino Murta. "Provenance-enhanced Algorithmic Debugging." Anais do XXXIII Brazilian Symposium on Software Engineering, Salvador, 2019. SBC, 2019, sem paginação.