A Fully Automated Approach to Discovering Nondeterminism in State Machine Diagrams.

Opeyemi O. Adesina Timothy C. Lethbridge Stéphane S. Somé

Published in: QUATIC (2016)

Keyphrases

fully automated
state machine
state machines
fully automatic
fault tolerant
semi automated
finite state machines
manual segmentation
completely automated
labor intensive
situation calculus
neural network
databases
data model
distributed systems