LONGINO James

Method and apparatus for obtaining a maximally compressed verification test set