Mutant Fault Injection in Functional Properties of a Model to Improve Coverage Metrics | IEEE Conference Publication | IEEE Xplore