Status report on JSR-305: Annotations for software defect detection

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn , Issue , 2007, Pages 799-800

  Hovemeyer, David ^a   Pugh, William ^b  

^a YORK COLLEGE OF PENNSYLVANIA   (United States)

^b Institute of Advanced Computer Science

Author keywords

Bugs; Java; Software quality; Specifications; Static analysis

Indexed keywords

ANALYSIS TOOLS; INTERNATIONAL CONFERENCES; JAVA SPECIFICATION REQUEST (JSR-1); LANGUAGES (TRADITIONAL); OBJECT-ORIENTED PROGRAMMING; SOFTWARE DEFECTS;

COMPUTER SYSTEMS PROGRAMMING; LINGUISTICS; NEODYMIUM; STATIC ANALYSIS;

OBJECT ORIENTED PROGRAMMING;

EID: 42149113403     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1297846.1297894     Document Type: Conference Paper

References (7)

1. P. Chalin. Early detection of jml specification errors using esc/java2. In SAVCBS '06: Proceedings of the 2006 conference on Specification and verification of component-based systems, pages 25-32, New York, NY, USA, 2006. ACM Press.
2. FindBugs. http://findbugs.sourceforge.net, 2007.
3. J. S. Foster, M. Fähndrich, and A. Aiken. A theory of type qualifiers. In PLDI '99: Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation, pages 192-203, New York, NY, USA, 1999. ACM Press.
4. IntelliJ. http://www.jetbrains.com/idea/, 2007.
5. JSR 305: Annotations for Software Defect Detection, http://jcp.org/en/ jsr/detail?id=305, 2007.
6. JSR 308: Annotations on Java Types, http://jcp.org/en/jsr/detail?id=308, 2007.
7. G. T. Leavens, A. L. Baker, and C. Ruby. Preliminary design of jml: a behavioral interface specification language for java. SIGSOFT Softw. Eng. Notes, 31(3):1-38, 2006.