Function-based dynamic compaction and its impact on test set sizes | IEEE Conference Publication | IEEE Xplore