On Comparing Mutation Testing Tools through Learning-based Mutant Selection | IEEE Conference Publication | IEEE Xplore