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

Published

2007-07-02

How to Cite

[1]
C. Köllmann and M. Goedicke, “Automation of Java Code Analysis for Programming Exercises”, eceasst, vol. 1, Jul. 2007.

Issue

Vol. 1 (2006): Graph Based Tools 2006

Section

Articles

License

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.