Speeding-Up Mutation Testing via Data Compression and State Infection