Vahldick, A., & Pereira, G. (2019). Guiding students to solve programming exercises through the verification of their objectives during program execution. In Proceedings of the 30th Brazilian Symposium on Computers in Education, (pp. 71-80). Porto Alegre: SBC. doi:10.5753/cbie.sbie.2019.71