Functional Verification of RTL Designs driven by Mutation Testing metrics

Youssef Serrestou, Vincent Beroulle, Chantal Robach. Functional Verification of RTL Designs driven by Mutation Testing metrics. In Tenth Euromicro Conference on Digital System Design: Architectures, Methods and Tools (DSD 2007), 29-31 August 2007, L├╝beck, Germany. pages 222-227, IEEE, 2007. [doi]

Abstract

Abstract is missing.