Raphael Muniz, Wilkerson Andrade, and Patricia Machado. 2021.
Towards a Technique to Detect Weaknesses in C Programs. In <em>Anais do XXXV Simpósio Brasileiro de Engenharia de Software</em>, setembro 29, 2021, Joinville, Brasil. SBC, Porto Alegre, Brasil.