Silva, L., 		Fortes, R., & 		Ribeiro, R.
2024 nov  4.  Geração automática de casos de teste para auto-graders baseada em execução simbólica. Anais do Simpósio Brasileiro de Informática na Educação (SBIE). [Online] :