Keyphrases
- state machines
- symbolic execution
- sequence diagrams
- state machine
- test cases
- test generation
- specification language
- test data generation
- static analysis
- regression testing
- source code
- petri net
- fault tolerant
- test suite
- finite state machines
- data flow
- formal specification
- software testing
- intermediate representation
- software systems
- description language
- recurrent networks
- modeling language
- dependency graph
- programming language