University of Leicester

Visual Contract Extractor

A Tool for Reverse Engineering Visual Contracts from Java

Tool Demonstration


Visual contracts model the operations of classes, components or services by pre- and post-conditions formalised as graph transformation rules. They provide a precise but intuitive notation to test, document and analyse software systems. However, due to their detailed level of specification of data states and transformations, modelling a real application is a complex and error-prone process.

Rather than adopting a top-down modelling approach, we follow a dynamic bottom-up approach to reverse engineer visual contracts from object-oriented programs based on tracing the execution of operations. We developed the Visual Contract Extractor (VCE), a dynamic analysis tool which supports the reverse engineering of visual operation contracts from Java programs, for more details, click here to take a look at our Prezi presentation

Prezi presentation

Contact us

© May 2016, Department of Computer Science, University of Leicester