Sequentially Untestable Faults Identified Without Search ("Simple Implications Beat Exhaustive Search!").

Mahesh A. Iyer, Miron Abramovici

Browse the full ITC paper archive.