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, pp. 5:1 – 5:32. Available at: https://journals-sol.sbc.org.br/index.php/jserd/article/view/425 (Accessed: 16September2024).