Sven Konings - Manipulating Java states as graphs

author:Sven Konings
title:Manipulating Java states as graphs
topics:Graphs, Algorithms and Data Structures A. Rensink (1st supervisor)
graduation date:7 July 2017

Research Project



  1. de Mol, M.J. and Rensink, A. and Hunt, J.J. (2012) Graph Transforming Java Data. In: Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012), 26-29 Mar 2012, Talinn, Estonia. pp. 209-223. Lecture Notes in Computer Science 7212. (Digital version available here)