Saar, C., 		Ribeiro, V., 		Lima, L., 		Félix, I., 		Assumpção, N., 		Sarkis, L., 		Castro Júnior, O., & 		Teixeira, M.
(2026).
 Detecção de Inconsistências Lógicas em Casos de Teste por Meio de Extração Semântica e Análise de Alcançabilidade.
In <em>Anais do XI Simpósio Brasileiro de Testes de Software Sistemático e Automatizado</em>, (pp. 189-198). Porto Alegre: SBC.
doi:10.5753/sast.2026.31416