A Practical Approach to Measuring and Improving the Functional Verification of Embedded Software Author(s): Stéphane Bouvier, Nicolas Sauzède, Florian Letombe, and Julien Torrès Download