Keyphrases
- state machines
- state machine
- sequence diagrams
- model based testing
- test cases
- regression testing
- petri net
- fault tolerant
- finite state machines
- software testing
- intermediate representation
- recurrent networks
- testing process
- test suite
- tool support
- software maintenance
- test sequences
- object oriented
- knowledge based systems
- software engineering