TACAS 2013Identifying Dynamic Data Structures by Learning Evolving Patterns in MemoryDavid H. White, Gerald LüttgenDOI 10.1007/978-3-642-36742-7_25dblpBibTeXAbstract elided by the publisher.