Araújo, C. A.; Delamaro, M. E.; Maldonado, J. C.; Vincenzi, A. M. R. Correlating Automatic Static Analysis and Mutation Testing: Towards Incremental Strategies. JSERD 2016, 4, 5:1 - 5:32.