Saar, C., Ribeiro, V., Lima, L., Félix, I., Assumpção, N., Sarkis, L., Castro Júnior, O., & Teixeira, M. 2026 set 8. Detecção de Inconsistências Lógicas em Casos de Teste por Meio de Extração Semântica e Análise de Alcançabilidade. Anais do Simpósio Brasileiro de Testes de Software Sistemático e Automatizado (SAST). [Online] :