Toward Harnessing High-Level Language Virtual Machines for Further Speeding Up Weak Mutation Testing | IEEE Conference Publication | IEEE Xplore