Saar, Christopher, 		Ribeiro, Victor Alexandre, 		Lima, Luan, 		Félix, Igsonfiure, 		Assumpção, Nicolas, 		Sarkis, Laura, 		Castro Júnior, Olacir, E 		Teixeira, Marlon.
" 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 Simpósio Brasileiro de Testes de Software Sistemático e Automatizado (SAST)</em> [Online], (8 setembro 2026)