Fault Injection and Mutation Analysis, and Its Empirical Study.