Inferring Computational State Machine Models from Program Executions.

Neil Walkinshaw Mathew Hall

Published in: ICSME (2016)

Keyphrases

state machine
finite state machines
probabilistic model
computational models
case study
computational modeling
decision trees
model selection
mobile agents
fault tolerant
classification models
numerical methods