@TechReport{Otto15,
  author      = {Carsten Otto},
  title       = {Java Program Analysis by Symbolic Execution},
  institution = {RWTH Aachen},
  keywords    = {termination analysis, static analysis, software verification},
  year        = {2015},
  number      = {AIB-2013-16},
  month       = mar,
  url         = {http://aib.informatik.rwth-aachen.de/2013/2013-16.pdf}
}