Depuração de programas baseada em cobertura de integração - Souza, Higor Amario de (2012)