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