Inferring extended finite state machine models from software executions

Walkinshaw, N., Taylor, R. and Derrick, J. (2015) Inferring extended finite state machine models from software executions. Empirical Software Engineering. ISSN 1382-3256



  • Walkinshaw, N.
  • Taylor, R.
  • Derrick, J.
Copyright, Publisher and Additional Information: © 2015 Springer Science+Business Media New York. This is an author produced version of a paper subsequently published in Empirical Software Engineering. Uploaded in accordance with the publisher's self-archiving policy.
Keywords: Reverse engineering; EFSMs; Dynamic analysis
  • Published (online): 17 March 2015
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 22 Jan 2016 16:04
Last Modified: 08 Apr 2019 12:50
Published Version:
Status: Published
Publisher: Springer Verlag
Refereed: Yes
Identification Number:

Share / Export