Identifying Dynamic Data Structures by Learning Evolving Patterns in Memory

Professorship/Faculty: Software Technologies  
Author(s): White, David H.; Lüttgen, Gerald  
By: White, David; ...
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: 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
metadata.ubg.intern.opusdatepublished: 29. November 2013