Keyphrases
- model based testing
- test cases
- software development
- testing process
- cp nets
- software testing
- software design
- security policies
- sequence diagrams
- multi attribute
- test data
- soft constraints
- case study
- neural network
- software engineering
- multiple agents
- active learning
- high dimensional
- data sets
- software systems
- test suite
- support vector machine
- artificial intelligence