Requirements Coverage as an Adequacy Measure for Conformance Testing

Ajitha Rajan, Michael W. Whalen, Matt Staats, Mats Per Erik Heimdahl. Requirements Coverage as an Adequacy Measure for Conformance Testing. In Shaoying Liu, T. S. E. Maibaum, Keijiro Araki, editors, Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings. Volume 5256 of Lecture Notes in Computer Science, pages 86-104, Springer, 2008. [doi]

@inproceedings{RajanWSH08,
  title = {Requirements Coverage as an Adequacy Measure for Conformance Testing},
  author = {Ajitha Rajan and Michael W. Whalen and Matt Staats and Mats Per Erik Heimdahl},
  year = {2008},
  doi = {10.1007/978-3-540-88194-0_8},
  url = {http://dx.doi.org/10.1007/978-3-540-88194-0_8},
  tags = {test coverage, testing, coverage},
  researchr = {https://researchr.org/publication/RajanWSH08},
  cites = {0},
  citedby = {0},
  pages = {86-104},
  booktitle = {Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings},
  editor = {Shaoying Liu and T. S. E. Maibaum and Keijiro Araki},
  volume = {5256},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-88193-3},
}