Silva, L., 		Fortes, R., & 		Ribeiro, R.
(2024).
 Automatic generation of test cases for autograders based on Symbolic Execution.
In <em>Proceedings of the 35th Brazilian Symposium on Computers in Education</em>, (pp. 2325-2338). Porto Alegre: SBC.
doi:10.5753/sbie.2024.242433