@inproceedings{NFM2010:StWhRaHe, author = {Matt Staats and Michael Whalen and Ajitha Rajan and Mats Heimdahl}, title = {Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness}, booktitle = {Proceedings of the Second NASA Formal Methods Symposium (NFM 2010), NASA/CP-2010-216215}, editor = {C{\'e}sar Mu{\~{n}}oz}, organization = {NASA}, address = {Langley Research Center, Hampton VA 23681-2199, USA}, pages = {161--170}, month = {April}, year = {2010} }