Model-Based Testing Under Parametric Variability of Uncertain Beliefs.
Matteo CamilliBarbara RussoPublished in: SEFM (2020)
Keyphrases
- model based testing
- test cases
- decision making
- software development
- software design
- sequence diagrams
- testing process
- security policies
- subjective probabilities
- belief revision
- software testing
- decision trees
- software engineering
- software systems
- petri net
- neural network
- image features
- data structure
- training data
- machine learning