AnnaBot: Annotations Assertion Based Object Testing...

AnnaBot is an open-source project to provide a tool for verification of correct use of Java 5 annotations in any API that uses them. Test libraries will hopefully be prepared for Seam2, EE6/CDI, JPA, Spring, and any other frameworks that people create and submit "claim" files for.

There is currently no documentation except a man page. If you really want to play, the source code can be obtained by anonymous CVS from the author's server, using the command-line tools or equivalent.

export CVSROOT=":pserver:anoncvs@cvs.darwinsys.com:/cvspublic"
cvs checkout annabot

Suggested patches to existing code should be prepared using cvs diff -u against the latest CVS repository contents.

The research paper was accepted for presentation at DEFECTS 2009, a workshop held as part of ISSTA 2009.
The abstract will appear in the ISSTA 2009 procedings.
Slides from the talk are here (PDF).

Journal Paper: The full version of the paper appeared in Advances in Software Engineering special issue on software testing, online at http://www.hindawi.com/journals/ase/2010/540547.html.