Simulation-based techniques for dynamic test sequence compaction | IEEE Conference Publication | IEEE Xplore