Silva, L., 		Fortes, R., & 		Ribeiro, R.
(2024).
 Geração automática de casos de teste para auto-graders baseada em execução simbólica.
In <em>Actas del XXXIII Simposio Brasileño de Informática en la Educación</em>, (pp. 2325-2338). Porto Alegre: SBC.
doi:10.5753/sbie.2024.242433