Methods for dynamic test vector compaction in sequential test generation | IEEE Conference Publication | IEEE Xplore