Identifying Dynamic Data Structures by Learning Evolving Patterns in Memory

Professorship/Faculty: Software Technologies  
Authors: White, David H.; Lüttgen, Gerald  
Editors: Piterman, Nir
Title of the compilation: 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
Publisher Information: Berlin : Springer
Year of publication: 2013
Pages / Size: S. 354 - 369
ISBN: 978-3-642-36741-0
Series ; Volume: Lecture notes in computer science ; 7795
Language(s): English
DOI: 10.1007/978-3-642-36742-7_25
Document Type: Conferenceobject
Release Date: 28. November 2013