Claude Helmstetter Florence Maraninchi Laurent Maillet-Contoz Matthieu Moy Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip. 171-178 2006 conf/fmcad/2006 FMCAD http://doi.ieeecomputersociety.org/10.1109/FMCAD.2006.10 db/conf/fmcad/fmcad2006.html#HelmstetterMMM06