Araújo, C.A., Delamaro, M.E., Maldonado, J.C. and Vincenzi, A.M.R. 2016. Correlating automatic static analysis and mutation testing: towards incremental strategies. Journal of Software Engineering Research and Development. 4, (Oct. 2016), 5:1 – 5:32.