Araújo, Cláudio A., Marcio E. Delamaro, José C. Maldonado, and Auri M. R. Vincenzi. “Correlating Automatic Static Analysis and Mutation Testing: Towards Incremental Strategies”. Journal of Software Engineering Research and Development 4 (October 3, 2016): 5:1 – 5:32. Accessed September 16, 2024. https://journals-sol.sbc.org.br/index.php/jserd/article/view/425.