Silva, Loham, Reinaldo Silva Fortes, and Rodrigo Geraldo Ribeiro.
" Automatic generation of test cases for autograders based on Symbolic Execution." <em>Proceedings of the 35th Brazilian Symposium on Computers in Education,
Rio de Janeiro/RJ, 2024</em>. SBC, 2024,  
pp.2325-2338.