Silva, Loham, Reinaldo Silva Fortes, and Rodrigo Geraldo Ribeiro.
" Geração automática de casos de teste para auto-graders baseada em execução simbólica." <em>Anais do XXXV Simpósio Brasileiro de Informática na Educação,
Rio de Janeiro/RJ, 2024</em>. SBC, 2024,  
pp.2325-2338.