White, David; Lüttgen, Gerald (2013): Identifying Dynamic Data Structures by Learning Evolving Patterns in Memory, in: Nir Piterman (Hrsg.), Tools and algorithms for the construction and analysis of systems : 19th international conference,  TACAS 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16 - 24, 2013 ; proceedings, Berlin: Springer, S. 354–369, doi: 10.1007/978-3-642-36742-7_25.