@TechReport{JBC-Nonterm,
   author = "Marc Brockschmidt and Thomas Str\"oder and
             Carsten Otto and J\"urgen Giesl",
   title = "Automated Detection of Non-Termination and
            \code{NullPointerException}s for \textsf{Java Bytecode}",
   institution = "RWTH Aachen",
   year = "2011",
   number = "AIB-2011-19",
   month = sep,
   keywords = "Java Bytecode, non-termination, NullPointerException,
               memory safety, program analysis",
   url = "http://aib.informatik.rwth-aachen.de/2011/2011-19.pdf",
}