The major mutation framework: efficient and scalable mutation analysis for Java | Synapse