> KBSS
> STILL
> IDA
> AIC
Hlavička, J., Novák, O.
HLAVIČKA, J. and O. NOVÁK. Methods of Pseudoexhaustive Test Pattern Generation. [Research Report] Praha: Czech Technical University in Prague, 1998. Report no. DC-98-08.