Prado, Denise, Aletéia Xavier Bettin, Carlos Miguel Tobar, and 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." <em>Anais do VIII Simpósio Brasileiro de Qualidade de Software,
Ouro Preto, 2009</em>. SBC, 2009,  
pp.341-348.