Silva, Loham, 		Fortes, Reinaldo, E 		Ribeiro, Rodrigo Geraldo.
" Geração automática de casos de teste para auto-graders baseada em execução simbólica" <em>Anais do Simpósio Brasileiro de Informática na Educação (SBIE)</em> [Online], (4 novembro 2024)