Skip to main navigation Skip to search Skip to main content

Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original languageUndefined/Unknown
Title of host publicationProceedings of the Second NASA Formal Methods Symposium
PublisherNASA
StatePublished - Apr 1 2010

Cite this