Citation: A. Bechir et B. Kaminska, CYCLOGEN - AUTOMATIC, FUNCTIONAL-LEVEL TEST GENERATOR BASED ON THE CYCLOMATIC COMPLEXITY MEASURE AND ON THE ROBDD REPRESENTATION, IEEE transactions on circuits and systems. 2, Analog and digital signal processing, 42(7), 1995, pp. 446-452