C. A. Araújo, M. E. Delamaro, J. C. Maldonado, and A. M. R. Vincenzi, “Correlating automatic static analysis and mutation testing: towards incremental strategies”, JSERD, vol. 4, pp. 5:1 – 5:32, Oct. 2016.