C. Saar <em>et al.</em>" 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>, São Paulo/SP, 2026, pp. 189-198, doi: <a href="https://doi.org/10.5753/sast.2026.31416">https://doi.org/10.5753/sast.2026.31416</a>.