Coverage Directed Generation of System-Level Test Cases for the Validation of a DSP System.

Laurent Arditi, Hdi Boufaed, Arnaud Cavani, Vincent Stehl

Browse the full FM paper archive.