Test vector generation and classification using FSM traversals. - Ralph Marczynski; Mitchell A. Thornton; Stephen A. Szygenda (ISCAS (5), 2004)