Automated Program Analysis for Novice Programmers. - Tim Blok; Ansgar Fehnker (CoRR, 2017)