Automation of Java Code Analysis for Programming Exercises Authors Carsten Köllmann Michael Goedicke DOI: https://doi.org/10.14279/tuj.eceasst.1.78 Abstract In this paper we present a tool environment for semi-automatic verification of basic programming exercises. We describe how graph transformation can be used for analysis of code structures and present an example from a current course. Downloads PDF Published 2007-07-02 Issue Vol. 1 (2006): Graph Based Tools 2006 Section Articles