Janislley Sousa, Bruno Farias, Thales Silva, Eddie Lima Filho, and Lucas Cordeiro. 2023.
 LSVerifier: A BMC Approach to Identify Security Vulnerabilities in C Open-Source Software Projects. In <em>Anais Estendidos do XXIII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais</em>, setembro 18, 2023, Juiz de Fora/MG, Brasil. SBC, Porto Alegre, Brasil, 17-24. DOI: <a href="https://doi.org/10.5753/sbseg_estendido.2023.235802">https://doi.org/10.5753/sbseg_estendido.2023.235802</a>.