A Test Sensitization State Compaction Method on Controller Augmentation | IEEE Conference Publication | IEEE Xplore