L. Silva, R. Fortes, and R. Ribeiro.
" Geração automática de casos de teste para auto-graders baseada em execução simbólica", in <em>Anais do XXXV Simpósio Brasileiro de Informática na Educação</em>, Rio de Janeiro/RJ, 2024, pp. 2325-2338, doi: <a href="https://doi.org/10.5753/sbie.2024.242433">https://doi.org/10.5753/sbie.2024.242433</a>.