> KBSS
> STILL
> IDA
> AIC
Hlavička, J.
HLAVIČKA, J. Pseudoexhaustive Test Set Generator with Code Bit Inversions. [Unpublished Lecture] Prof.Dhiraj Pradhan. 1996-10-11.