Search State Equivalence for Redundancy Identification and Test Generation (1991)

by J Giraldi, M L Bushnell
Venue:in Proceedings of the International Test Conference