Muniz, R., 		Andrade, W., & 		Machado, P.
2021 Sep 29.  Towards a Technique to Detect Weaknesses in C Programs. Proceedings of the Brazilian Symposium on Software Engineering (SBES). [Online] :