Solving the TTC 2011 Reengineering Case with GrGen.NET

The challenge of the Reengineering Case is to extract a state machine model out of the abstract syntax graph of a Java program. The extracted state machine offers a reduced view on the full program graph and thus helps to understand the program regarding the question of interest. We tackle this task...

Full description

Bibliographic Details
Main Authors: Edgar Jakumeit, Sebastian Buchwald
Format: Article
Language:English
Published: Open Publishing Association 2011-11-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1111.4751v1