@misc{12959, author = {Shaukat Ali and Kirill Bogdanov and Neil Walkinshaw}, title = {A Comparative Study of Methods for Dynamic Reverse-Engineering of State Models}, abstract = {This paper provides a comparison of dynamic analysis techniques to reverse engineer state models of software. Since running a program generates a lot of data, the utility of deferent techniques is related to their ability to construct models which are both reflecting the relevant characteristics of a program and of manageable size. The classification of techniques in this paper aims to highlight the deferent approaches to abstraction utilized in the surveyed papers, so that one can mix-and-match deferent techniques depending on the kind of models which need to be built.}, year = {2007}, number = {CS-07-16}, publisher = {Deptartment of Computer Science, The University of Sheffield}, }