Koellmann, Carsten; Goedicke, Michael:
Automation of Java Code Analysis for Programming Exercises
Third International Workshop on Graph Based Tools (GraBaTs 2006) ; September 21-22, 2006, Natal, Brazil
In: Electronic Communications of the EASST, Vol. 1 (2006)
2006article/chapter in journalOpen Access
Computer ScienceFaculty of Business Administration and Economics » Computer Science » Specification of Software Systems
Related: 1 publication(s)
Title in English:
Automation of Java Code Analysis for Programming Exercises
Conference
Third International Workshop on Graph Based Tools (GraBaTs 2006) ; September 21-22, 2006, Natal, Brazil
Author:
Koellmann, Carsten;Goedicke, MichaelUDE
LSF ID
5091
ORCID
0009-0004-2383-6764ORCID iD
Other
connected with university
Year of publication:
2006
Open Access?:
Open Access
Language of text:
English

Abstract in English:

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.