Inferring extended finite state machine models from software executions

The ability to reverse-engineer models of software behaviour is valuable for a wide range of software maintenance, validation and verification tasks. Current reverse-engineering techniques focus either on control-specific behaviour (e.g., in the form of Finite State Machines), or data-specific behav...

Full description

Saved in:

Bibliographic Details
Published in:	Empirical software engineering : an international journal Vol. 21; no. 3; pp. 811 - 853
Main Authors:	Walkinshaw, Neil, Taylor, Ramsay, Derrick, John
Format:	Journal Article
Language:	English
Published:	New York Springer US 01.06.2016 Springer Nature B.V
Subjects:	Algorithms Compilers Computer programs Computer Science Finite state machines Inference Interpreters Invariants Machine learning Maintenance Program verification (computers) Programming Languages Software Software Engineering/Programming and Operating Systems Tasks Reverse engineering EFSMs Dynamic analysis
ISSN:	1382-3256, 1573-7616
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!