Search State Equivalence for Redundancy Identification and Test Generation.

John Giraldi, Michael L. Bushnell

Browse the full ITC paper archive.