R. Muniz, W. Andrade, and P. Machado.
"Towards a Technique to Detect Weaknesses in C Programs", in <em>Anais do XXXV Simpósio Brasileiro de Engenharia de Software</em>, Joinville, 2021.