Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/37262
Title: Extracting Visual Contracts from Java Programs
Authors: Heckel, Reiko
Alshanqiti, Abdullah
First Published: 9-Nov-2015
Presented at: 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015), Lincoln, NE, 9-13 Nov. 2015
Publisher: Institute of Electrical and Electronics Engineers (IEEE), United States
Citation: 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, pp. 104-114
Abstract: Visual contracts model the operations of components or services by pre-and post-conditions formalised as graph transformation rules. They provide a precise intuitive notation to support testing, understanding and analysis of software. However, due to their detailed specification of data states and transformations, modelling real applications is an error-prone process. In this paper we propose a dynamic approach to reverse engineering visual contracts from Java based on tracing the execution of Java operations. The resulting contracts give an accurate description of the observed object transformations, their effects and preconditions in terms of object structures, parameter and attribute values, and their generalised specification by universally quantified (multi) objects. While this paper focusses on the fundamental technique rather than a particular application, we explore potential uses in our evaluation, including in program understanding, review of test reports and debugging.
DOI Link: 10.1109/ASE.2015.63
Links: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7372000&filter=AND%28p_Publication_Number:7371449%29
http://hdl.handle.net/2381/37262
Version: Post-print
Status: Peer-reviewed
Type: Conference Paper
Rights: Copyright © 2015 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Appears in Collections:Conference Papers & Presentations, Dept. of Computer Science

Files in This Item:
File Description SizeFormat 
fog.pdfPost-review (final submitted)1.94 MBAdobe PDFView/Open


Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.