A Theory of Mutations with Applications to Vacuity, Coverage, and Fault Tolerance