An effective approach for functional test programs compaction | IEEE Conference Publication | IEEE Xplore