ethod for Incorporating Imperffeet Fault-Coverage into Combinatorial Modells