@INPROCEEDINGS{rajan_other_08, author = {Ajitha Rajan and Michael W. Whalen and Matt Staats and Mats Per Erik Heimdahl}, title = {Requirements Coverage as an Adequacy Measure for Conformance Testing}, booktitle = {Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings}, year = {2008}, address = {}, month = {}, pages = {86--104} }