Automation of Java Code Analysis for Programming Exercises

Carsten Köllmann, Michael Goedicke

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.

Full Text:

PDF


DOI: http://dx.doi.org/10.14279/tuj.eceasst.1.78

DOI (PDF): http://dx.doi.org/10.14279/tuj.eceasst.1.78.59

Hosted By Universitätsbibliothek TU Berlin.