Christopher Saar <em>et al. </em>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>, setembro 08, 2026, São Paulo/SP, Brasil. SBC, Porto Alegre, Brasil, 189-198. DOI: <a href="https://doi.org/10.5753/sast.2026.31416">https://doi.org/10.5753/sast.2026.31416</a>.