Sousa, Janislley, Bruno Carvalho de Farias, Thales Araujo da Silva, Eddie Batista de Lima Filho, and Lucas Carvalho Cordeiro.
" LSVerifier: A BMC Approach to Identify Security Vulnerabilities in C Open-Source Software Projects." <em>Anais Estendidos do XXIII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais,
Juiz de Fora/MG, 2023</em>. SBC, 2023,  
pp.17-24.