Denise Piubeli Prado, Aletéia Xavier Bettin, Carlos Miguel Tobar, Vinicius Asta Pagano. A Ferramenta de Análise Estática Klocwork Integrada a um Processo Formal de Revisão de Código, nível 3 do CMMI. In Cláudia Maria Lima Werner, Leonardo Gresta Paulino Murta, editors, Proceedings of the 8th Brazilian Symposium on Software Quality, SBQS 2009, Ouro Preto, MG, Brazil, June 1-5, 2009. pages 341-348, SBC, 2009. [doi]
Abstract is missing.