SAAR, Christopher Ric Coelho; 						RIBEIRO, Victor Alexandre Lima; 						LIMA, Luan Reis de; 						FÉLIX, Igsonfiure Rodrigues; 						ASSUMPÇÃO, Nicolas Riccieri Gardin; 						SARKIS, Laura Costa; 						CASTRO JÚNIOR, Olacir Rodrigues; 						TEIXEIRA, Marlon Amaro Coelho.
 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>In</em>: SIMPÓSIO BRASILEIRO DE TESTES DE SOFTWARE SISTEMÁTICO E AUTOMATIZADO (SAST), 11.	, 2026, São Paulo/SP.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2026
.
 p. 189-198. 
		DOI: <a href="https://doi.org/10.5753/sast.2026.31416">https://doi.org/10.5753/sast.2026.31416</a>.