Analysing and Comparing the Effectiveness of Mutation Testing Tools: A Manual Study | IEEE Conference Publication | IEEE Xplore