Nullness analysis of Java source code

Download: PDF.

“Nullness analysis of Java source code” by Arnout F. M. Engelen. Masters thesis, University of Nijmegen Dept. of Computer Science, August 10, 2006.

Abstract

The research question for this project is as follows: What is the current state of the art in annotation assistance, and what are the most relevant requirements and design considerations when implementing an annotations assistant?

Download: PDF.

BibTeX entry:

@mastersthesis{Engelen2006,
   author = {Arnout F. M. Engelen},
   title = {Nullness analysis of {Java} source code},
   school = {University of Nijmegen Dept. of Computer Science},
   month = {August~10,},
   year = {2006}
}

Back to Publications whose methodology uses invariant detection.