Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Double Fault Detection.

Garrett Kent Kaminski, Paul Ammann

Browse the full ICST paper archive.