Saar, Christopher, Victor Alexandre Lima Ribeiro, Luan Reis de Lima, Igsonfiure Rodrigues Félix, Nicolas Riccieri Gardin Assumpção, Laura Costa Sarkis, Olacir Rodrigues Castro Júnior, and Marlon Amaro Coelho Teixeira.
" Detecção de Inconsistências Lógicas em Casos de Teste por Meio de Extração Semântica e Análise de Alcançabilidade." <em>Anais do XI Simpósio Brasileiro de Testes de Software Sistemático e Automatizado,
São Paulo/SP, 2026</em>. SBC, 2026,  
pp.189-198.