Keyphrases
- model based testing
- test cases
- software development
- software design
- security policies
- testing process
- singular value decomposition
- sequence diagrams
- software testing
- test data
- qr decomposition
- artificial intelligence
- query language
- regression testing
- petri net
- operating system
- access control
- software engineering
- test sequences
- case study
- learning algorithm
- real world