Depuração de programas baseada em cobertura de informação (2012)