Sousa, Janislley, 		Farias, Bruno, 		Silva, Thales, 		Lima Filho, Eddie, E 		Cordeiro, Lucas.
" LSVerifier: A BMC Approach to Identify Security Vulnerabilities in C Open-Source Software Projects" <em>Anais Estendidos do Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg)</em> [Online], (18 setembro 2023)