Araújo, C. A., M. E. Delamaro, J. C. Maldonado, and A. M. R. Vincenzi. “Correlating Automatic Static Analysis and Mutation Testing: Towards Incremental Strategies”. Journal of Software Engineering Research and Development, vol. 4, Oct. 2016, pp. 5:1 - 5:32, https://sol.sbc.org.br/journals/index.php/jserd/article/view/425.