@TechReport{JGN14,
  author      = "Christina Jansen and Florian G\"{o}be and Thomas Noll",
  title       = "{G}enerating {I}nductive {P}redicates for {S}ymbolic {E}xecution of {P}ointer-{M}anipulating {P}rograms",
  institution = "RWTH Aachen University",
  keywords    = "heap abstraction, Separation Logic, Hyperedge Replacement Grammars, predicate generation",
  year        = "2014",
  number      = "AIB-2014-08",
  month       = may,
  url         = "http://aib.informatik.rwth-aachen.de/2014/2014-08.pdf"
}