Modeling test cases for security protocols with SecureMDD.
Kuzman KatkalovNina MoebiusKurt StenzelMarian BorekWolfgang ReifPublished in: Comput. Networks (2014)
Keyphrases
- test cases
- security protocols
- test data
- automated design
- software testing
- regression testing
- sequence diagrams
- number of test cases
- test case generation
- test suite
- test generation
- test sequences
- model based testing
- test case selection
- test data generation
- test set
- test suite reduction
- testing process
- set of test cases
- rfid tags
- object oriented
- learning algorithm
- real time