Login / Signup

Specifying Trace Directives for UML Attributes and State Machines.

Hamoud AljamaanTimothy C. LethbridgeOmar Bahy BadreddinGeoffrey GuestAndrew Forward
Published in: MODELSWARD (2014)
Keyphrases
  • state machines
  • state machine
  • sequence diagrams
  • petri net
  • fault tolerant
  • finite state machines
  • real time
  • intermediate representation
  • regression testing
  • recurrent networks
  • genetic algorithm
  • test cases