Simulated Satisfaction of Coverage Criteria on UML State Machines.

Stephan Weißleder

Published in: ICST (2010)

Keyphrases

state machines
state machine
sequence diagrams
petri net
fault tolerant
finite state machines
intermediate representation
neural network
database
real time
object oriented
regression testing