Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Temporal verification of reactive systems: safety
Temporal verification of reactive systems: safety
Model checking
A Specification-Based Coverage Metric to Evaluate Test Sets
HASE '99 The 4th IEEE International Symposium on High-Assurance Systems Engineering
Coverage metrics for requirements-based testing
Proceedings of the 2006 international symposium on Software testing and analysis
Test intents: enhancing the semantics of requirements traceability links in test cases
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Hi-index | 0.00 |