On the optimization of SBST test program compaction | IEEE Conference Publication | IEEE Xplore