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 <em>Anais do VIII Simpósio Brasileiro de Qualidade de Software</em>, junho 01, 2009, Ouro Preto, Brasil. SBC, Porto Alegre, Brasil, 341-348. DOI: <a href="https://doi.org/10.5753/sbqs.2009.15525">https://doi.org/10.5753/sbqs.2009.15525</a>.