Denise Prado, Aletéia Bettin, Carlos Miguel Tobar, and Vinicius Pagano. 2009. 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 Anais do VIII Simpósio Brasileiro de Qualidade de Software, junho 01, 2009, Ouro Preto, Brasil. SBC, Porto Alegre, Brasil, 341-348. DOI: https://doi.org/10.5753/sbqs.2009.15525.