Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Double Fault Detection Gary Kaminski and Paul Ammann Software Engineering.
Gary Kaminski and Paul Ammann Software Engineering Group George Mason University