The complementary aspect of automatically and manually generated test case sets
Correlating automatic static analysis and mutation testing: towards incremental strategies
Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation - A-TEST 2016
Journal of Software Engineering Research and Development
José Carlos Maldonado
Jose C. Maldonado
Simone R. S. de Souza
Daniel G. de Oliveira
Tiago Bachiega
Cláudio A. Araújo