Raphael Muniz, Wilkerson de L. Andrade, Patrícia D. L. Machado. Towards a Technique to Detect Weaknesses in C Programs. In Cristiano D. Vasconcellos, Karina Girardi Roggia, Vanessa Collere, Paulo Bousfield, editors, SBES '21: 35th Brazilian Symposium on Software Engineering, Joinville, Santa Catarina, Brazil, 27 September 2021 - 1 October 2021. pages 39-48, ACM, 2021. [doi]
Abstract is missing.