MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
A Formal Logic Approach to Constrained Combinatorial Testing
Journal of Automated Reasoning
Regression test suite prioritization using system models
Software Testing, Verification & Reliability
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 ...