Sousa, Janislley, 		Farias, Bruno, 		Silva, Thales, 		Lima Filho, Eddie, AND 		Cordeiro, Lucas.
" LSVerifier: A BMC Approach to Identify Security Vulnerabilities in C Open-Source Software Projects" <em>Companion Proceedings of the Brazilian Symposium on Cybersecurity (SBSeg)</em> [Online], (18 September 2023)