Muniz, Raphael, Wilkerson Andrade, and Patricia Machado.
"Towards a Technique to Detect Weaknesses in C Programs." <em>Anais do XXXV Simpósio Brasileiro de Engenharia de Software,
Joinville, 2021</em>. SBC, 2021,  
sem paginação.