Using Non-redundant Mutation Operators and Test Suite Prioritization to Achieve Efficient and Scalable Mutation Analysis | IEEE Conference Publication | IEEE Xplore