Table of Contents
Advances in Software Engineering
Volume 2010, Article ID 540547, 7 pages
Research Article

AnnaBot: A Static Verifier for Java Annotation Usage

8748 10 Sideroad Adjala, RR 1, Palgrave, ON, Canada L0N 1P0

Received 16 June 2009; Accepted 9 November 2009

Academic Editor: Phillip Laplante

Copyright © 2010 Ian Darwin. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. Java 5 Annotations, November 2009,
  2. Spring Framework Home Page, October 2009,
  3. G. King, “Seam Web/JavaEE Framework,” October 2009,
  4. L. Goldschlager, Computer Science: A Modern Introduction, Prentice-Hall, Upper Saddle River, NJ, USA, 1992.
  5. J. Voas et al., “A Testability-based Assertion Placement Tool for Object-Oriented Software,” October 1997,
  6. “Java Programming with Assertions,” November 2009,
  7. J. A. Darringer, “The application of program verification techniques to hardware verification,” in Proceedings of the Annual ACM IEEE Design Automation Conference, pp. 373–379, ACM, 1988.
  8. “EJB3 and JPA Specifications,” November 2009,
  9. I. Darwin, “The reflection API,” in Java Cookbook, chapter 25, O'Reilly, Sebastopol, Calif, USA, 2004. View at Google Scholar
  10. Javassist bytecode manipulation library, November 2009,
  11. Apache BCEL—Byte Code Engineering Library, November 2009,
  12. J. Bentley, “Programming pearls: little languages,” Communications of the ACM, vol. 29, no. 8, pp. 711–721, 1986. View at Google Scholar
  13. I. Darwin, “PageUnit: A “Little Language” for Testing Web Applications,” Staffordshire University report, 2006,
  14. S. Johnson, “YACC: yet another compiler-compiler,” Tech. Rep. CSTR-32, Bell Laboratories, Madison, Wis, USA, 1978. View at Google Scholar
  15. “Open Source Parser Generators in Java,” April 2009,
  16. T. Parr, The Definitive ANTLR Reference: Building Domain-Specific Languages, Pragmatic Bookshelf, Raleigh, NC, USA, 2007.
  17. Toronto Centre for Phenogenomics, April 2009,
  18. Eclipse Foundation, Eclipse IDE project, November 2009,
  19. D. Hovemeyer and W. Pugh, “Finding bugs is easy,” ACM SIGPLAN Notices, vol. 39, no. 12, pp. 92–106, 2004. View at Publisher · View at Google Scholar · View at Scopus
  20. B. Goetz, “Java theory and practice: testing with leverage—part 1,” April 2009,
  21. M. Eichberg, T. Schäfer, and M. Mezini, “Using annotations to check structural properties of classes,” in Proceedings of the 8th International Conference on Fundamental Approaches to Software Engineering (FASE '05), pp. 237–252, Edinburgh, UK, April 2005. View at Scopus
  22. C. Noguera and R. Pawlak, “AVal: an extensible attribute-oriented programming validator for Java,” in Proceedings of the 6th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM '06), pp. 175–183, Philadelphia, Pa, USA, September 2006. View at Publisher · View at Google Scholar · View at Scopus
  23. C. Andreae, “JavaCOP—User-defined Constraints on Java Programs,” November 2009,
  24. JSR-305, November 2009,
  25. JSR-308, November 2009,