Towards a test cases generation method for security policies
ICT'09 Proceedings of the 16th international conference on Telecommunications
Hi-index | 0.00 |
Some approaches to Model-Based Testing focus on test case generation from assertions (operation pre- and post- conditions) and invariants, e.g., written in the Object Constraint Language. In such a setting, assertions must be val- idated. Validation ...