Keyphrases
- model based testing
- cyber physical systems
- test cases
- cyber physical
- software development
- software design
- cyber security
- physical world
- security policies
- sequence diagrams
- testing process
- software testing
- embedded systems
- software systems
- test data
- social networks
- test set
- critical infrastructure
- distributed systems
- object oriented
- ubiquitous computing
- smart grid
- open source
- data model