Provenance-enhanced Algorithmic Debugging. - Henrique Linhares; João Felipe Pimentel; Troy C. Kohwalter; Leonardo Gresta Paulino Murta (SBES, 2019)