Functional Verification of RTL Designs driven by Mutation Testing metrics.

Youssef Serrestou, Vincent Beroulle, Chantal Robach

Browse the full DSD paper archive.