Sign in
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