Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness (0)

by M Staats, M Whalen, M Heimdahl, Ajitha Rajan
Venue:Proceedings of the Second NASA Formal Methods Symposium