Toward Harnessing High-Level Language Virtual Machines for Further Speeding Up Weak Mutation Testing.