Automated compression of state machines using UML statechart diagram notation.
Tarja SystäKai KoskimiesErkki MäkinenPublished in: Inf. Softw. Technol. (2002)
Keyphrases
- state machines
- sequence diagrams
- class diagrams
- class diagram
- state machine
- test cases
- petri net
- uml models
- intermediate representation
- regression testing
- uml activity diagrams
- fault tolerant
- object oriented
- uml diagrams
- image compression
- modeling language
- recurrent networks
- finite state machines
- uml class diagrams
- neural network