Laurent Arditi Hédi Boufaïed Arnaud Cavanié Vincent Stehlé Coverage Directed Generation of System-Level Test Cases for the Validation of a DSP System. 449-464 2001 conf/fm/2001 FME http://link.springer.de/link/service/series/0558/bibs/2021/20210449.htm db/conf/fm/fme2001.html#ArditiBCS01