Using a Fault Hierarchy to Improve the Efficiency of DNF Logic Mutation Testing | IEEE Conference Publication | IEEE Xplore