Towards Checking Parametric Reachability for UML State Machines.

Artur Niewiadomski Wojciech Penczek Maciej Szreter

Published in: Ershov Memorial Conference (2009)

Keyphrases

state machines
state machine
sequence diagrams
petri net
fault tolerant
intermediate representation
state space
regression testing
test cases
finite state machines
artificial intelligence
genetic algorithm
fuzzy logic
pattern matching
dependency graph