Improving Test Coverage for UML State Machines Using Transition Instrumentation.
Mario FriskeBernd-Holger SchlingloffPublished in: SAFECOMP (2007)
Keyphrases
- state machines
- state machine
- sequence diagrams
- test suite
- regression testing
- test cases
- petri net
- finite state machines
- fault tolerant
- object oriented
- software engineering
- knowledge base
- recurrent networks
- testing process
- genetic algorithm
- intermediate representation
- modeling language
- metamodel
- object oriented modeling