Coverage Directed Generation of System-Level Test Cases for the Validation of a DSP System. - Laurent Arditi; Hédi Boufaïed; Arnaud Cavanié; Vincent Stehlé (FME, 2001)