Automating Functional Coverage Analysis Based on an Executable Specification. - S. Regimbal; Jean-Francois Lemire; Yvon Savaria; Guy Bois; El Mostapha Aboulhamid; A. Baron (IWSOC, 2003)