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

Garrett Kent Kaminski, Paul Ammann

Browse the full ICST paper archive.