Symbolic memory with pointers Marek Trtík, Jan Strejček [ISBN] [Google Scholar] [DBLP] [Citeseer] Automated Technology for Verification and Analysis Springer International Publishing Cham Pages 380-395 2014 Note(s): symbolic execution Papers related to Symbolic memory with pointers Rethinking pointer reasoning in symbolic execution [coppa:ase:2017]