GSoC/GCI Archive
Google Summer of Code 2011 The Java Pathfinder Team

Checking Java Annotations

by Filip Rogaczewski for The Java Pathfinder Team

Imagine the world where computers are handling all critical situations. In order to maximize application reliability, production versions should not differ from the testing version. Achieving that is possible using annotations which are detected at runtime. The aim of Checking Java Annotation project is to develop a set of annotations that can be applied to Java programs to assist tools that detect software defects.