Correlating automatic static analysis and mutation testing: towards incremental strategies - Araújo,Cláudio A.