Reflexion Models for State Machine Extraction and Verification.

Wasim Said Jochen Quante Rainer Koschke

Published in: ICSME (2018)

Keyphrases

state machine
statistical models
social networks
databases
probabilistic model
database
neural network
information extraction
model selection
complex systems
model checking
finite state machines
information systems
fault tolerant
temporal logic
state machines