Bacterio: Java mutation testing tool: A framework to evaluate quality of tests cases | Publicación