A Novel Compaction Approach for SBST Test Programs