Speeding-Up Mutation Testing via Data Compression and State Infection | IEEE Conference Publication | IEEE Xplore