Original language | Undefined/Unknown |
---|---|
Title of host publication | Proceedings of the Second NASA Formal Methods Symposium |
Publisher | NASA |
State | Published - Apr 1 2010 |
Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness
Matt Staats, Michael W. Whalen, Ajitha Rajan, Mats P.E. Heimdahl
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution