Inferring Extended Finite State Machine models from software executions.

Neil Walkinshaw Ramsay Taylor John Derrick

Published in: WCRE (2013)

Keyphrases

finite state machines
state machine
cellular automaton
statistical models
probabilistic model
software development
software systems
software tools
functional units
database
finite state automata
regular expressions
software architecture
complex systems
test cases
model selection
user interface
databases