Araújo CA, Delamaro ME, Maldonado JC, Vincenzi AMR. Correlating automatic static analysis and mutation testing: towards incremental strategies. JSERD [Internet]. 2016Oct.3 [cited 2024Sep.16];4:5:1 - 5:32. Available from: https://journals-sol.sbc.org.br/index.php/jserd/article/view/425