@conference{11746,
  author = {David Kuhn and Raghu Kacker},
  title = {Measuring Combinatorial Coverage of System State-space for IV&V},
  year = {2012},
  month = {2012-09-13},
  publisher = {Annual NASA IV&V Workshop, Morgantown, WV},
  url = {https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=911324},
  language = {en},
}