Araújo, C. A., Delamaro, M. E., Maldonado, J. C., & Vincenzi, A. M. R. (2016). Correlating automatic static analysis and mutation testing: towards incremental strategies. Journal of Software Engineering Research and Development, 4, 5:1 – 5:32. Retrieved from https://sol.sbc.org.br/journals/index.php/jserd/article/view/425