Automatic Synthesis of State Machines from Trace Diagrams.

Kai Koskimies Erkki Mäkinen

Published in: Softw. Pract. Exp. (1994)

Keyphrases

state machines
state machine
sequence diagrams
petri net
genetic algorithm
case study
high level
structural analysis
recurrent networks