Symbolic Execution of Communicating and Hierarchically Composed UML-RT State Machines.
Karolina ZurowskaJürgen DingelPublished in: NASA Formal Methods (2012)
Keyphrases
- state machines
- symbolic execution
- state machine
- sequence diagrams
- specification language
- test cases
- test data generation
- test generation
- static analysis
- petri net
- fault tolerant
- regression testing
- source code
- finite state machines
- data flow
- intermediate representation
- formal specification
- metamodel
- software development
- software engineering
- description language
- neural network
- dependency graph
- test set
- programming language