publicações selecionadas artigo de conferência Applying program comprehension techniques to Karel robot programs 2009