A Theoretical and Empirical Study of Diversity-Aware Mutation Adequacy Criterion