Measuring Combinatorial Coverage of System State-space for IV&V
David R. Kuhn, Raghu N. Kacker
This report describes some measures of combinatorial coverage that can be helpful in estimating this risk that we have applied to tests for spacecraft software but have general application to any combinatorial coverage problem. This method will be illustrated through a prior application to NASA spacecraft software, preliminary results on more recent NASA software, and non-NASA software.
and Kacker, R.
Measuring Combinatorial Coverage of System State-space for IV&V, Annual NASA IV&V Workshop, Morgantown, WV, [online], https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=911324
(Accessed June 7, 2023)