Login / Signup

Identifying sequentially untestable faults using illegal states.

David E. LongMahesh A. IyerMiron Abramovici
Published in: VTS (1995)
Keyphrases