@article{article84333513, title = {Correlating automatic static analysis and mutation testing: towards incremental strategies}, author = {Araújo, Claudio A. and Delamaro, Márcio Eduardo and Maldonado, José Carlos and Vincenzi, Auri Marcelo Rizzo}, year = {2016}, doi = {10.1186/s40411-016-0031-8}, journal = {Journal of Software Engineering Research and Development} }