Gong, D., Zhang, G., Yao, X., & Meng, F. (2017). Mutant reduction based on dominance relation for weak mutation testing. Information and Software Technology, 81, 82-96. https://doi.org/10.1016/j.infsof.2016.05.001