Mutant Fault Injection in Functional Properties of a Model to Improve Coverage Metrics

Ali Abbasinasab, Mehdi Mohammadi, Siamak Mohammadi, Svetlana N. Yanushkevich, Michael Smith. Mutant Fault Injection in Functional Properties of a Model to Improve Coverage Metrics. In 14th Euromicro Conference on Digital System Design, Architectures, Methods and Tools, DSD 2011, August 31 - September 2, 2011, Oulu, Finland. pages 422-425, IEEE, 2011. [doi]

Abstract

Abstract is missing.