Correlating automatic static analysis and mutation testing: towards incremental strategies
Journal of Software Engineering Research and Development
José Carlos Maldonado
Jose C. Maldonado
Auri M. R. Vincenzi
MARCIO E. DELAMARO