TY - CONF AU - David Kuhn AU - Raghu Kacker C2 - Annual NASA IV&V Workshop, Morgantown, WV DA - 2012-09-13 LA - en PB - Annual NASA IV&V Workshop, Morgantown, WV PY - 2012 TI - Measuring Combinatorial Coverage of System State-space for IV&V UR - https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=911324 ER -