Muniz, Raphael, 		Andrade, Wilkerson, E 		Machado, Patricia.
" Towards a Technique to Detect Weaknesses in C Programs" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (29 setembro 2021)