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 Anais do XXXV Simpósio Brasileiro de Informática na Educação, (pp. 2325-2338). Porto Alegre: SBC. doi:10.5753/sbie.2024.242433