On compacting test sets by addition and removal of test vectors | IEEE Conference Publication | IEEE Xplore