Research Article

AnnaBot: A Static Verifier for Java Annotation Usage

Figure 2

Portion of a flawed JPA Entity Class.
540547.fig.002