'Lrf mnfp cutpnfp' presentation slideshows

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

Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Fault Detection . Gary Kaminski and Paul Ammann ICST 2009 March 24 Version. Motivation. Current logic criteria: generate large test sets (Combinatorial) or do not guarantee detecting logic faults (RACC) Goal:

515 views • 22 slides