Bacterio: Java mutation testing tool: A framework to evaluate quality of tests cases | IEEE Conference Publication | IEEE Xplore