Reverse Engineering: Inferring Visual Contracts from Java Programs

Abstract

When working on an existing software system, we face the challenge of developing a high-level understanding of its implementation. This is necessary for both finding and correcting errors, and for adding or revising features or improving the architecture through refactoring. This is especially difficult in large systems that have undergone many changes during their lifetime and where the original design information is no longer visible or documented in the code.