Vahldick, Adilson, and Gabriel Naoto Ymai Pereira.
" Guiding students to solve programming exercises through the verification of their objectives during program execution." <em>Proceedings of the 30th Brazilian Symposium on Computers in Education,
Brasília/DF, 2019</em>. SBC, 2019,  
pp.71-80.