Israely Lima, Suellen Oliveira, Francisco Andrade, Letícia Ventura, and Jacilane Rabelo. 2025. Explorando Metodologias Ativas no Ensino de Verificação e Validação de Software na UFC: Aprendizagem Baseada em Casos, Jogos e Gamificação. In Anais do XXXIII Workshop sobre Educação em Computação, julho 20, 2025, Maceió/AL, Brasil. SBC, Porto Alegre, Brasil, 552-563. DOI: https://doi.org/10.5753/wei.2025.8327.