Improving Testing Coverage for Safety-Critical System by Mutated Specification | IEEE Conference Publication | IEEE Xplore