iContract - the Java(tm) Design by Contract(tm) tool
Generate an AI Snapshot to get a quick, structured summary of this paper.
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
iContract is a freely available source-code pre-processor that instruments sourcecode with checks for class invariants, pre- and post-conditions that may be associated with methods in classes and interfaces.
Abstract
Until today, the explicit speci cation of "software contracts " by means of class invariants and method pre- and post-conditions was only available to Ei el developers. iContract is the rst tool that provides the same thorough support for Java. iContract is a freely available source-code pre-processor that instruments sourcecode with checks for class invariants as well as pre- and post-conditions that may be associated with methods in classes and interfaces. Special comment tags (@pre,