Stubby allows to generate stubs annotated with default JML specifications for used API members.
The following sections illustrate the main features of Stubby using screenshots.
Each section contains numbered screenshots that explain a usage scenario step by step.
Clicking on each picture produces a more detailed view.
The screenshots may differ from the latest release.
Stubby is compatible with Eclipse Luna (4.4) or newer.
Required update-sites and installation instructions are available in the download area.