TY - CONF AU - P Ammann AU - Paul Black C2 - High- Assurance Systems Engineering, International Symposium | 5th | 5th IEEE International Symposium on High-Assurance Systems Engineering, HASE 2000 | IEEE, Undefined DA - 2000-12-01 00:12:00 LA - en M1 - 8 PB - High- Assurance Systems Engineering, International Symposium | 5th | 5th IEEE International Symposium on High-Assurance Systems Engineering, HASE 2000 | IEEE, Undefined PY - 2000 TI - A Specification-Based Coverage Metric to Evaluate Test Sets UR - https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=151676 ER -