Generation of compact test sets with high defect coverage | IEEE Conference Publication | IEEE Xplore