Correlating automatic static analysis and mutation testing: towards incremental strategies - Araújo, Claudio A.; Delamaro, Márcio Eduardo; Maldonado, José Carlos; Vincenzi, Auri Marcelo Rizzo (Journal of Software Engineering Research and Development, 2016)