Inácio, J. ., & Medeiros, I. . (2022). Effectiveness on C Flaws Checking and Removal. In 2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S) (pp. 33–34).