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://sol.sbc.org.br/journals/index.php/jserd/article/view/425 (Accessed: 20April2024).