TY  - CONF
AU  - Kuhn, David
AU  - Kacker, Raghu
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  -