A Theoretical and Empirical Study of Diversity-Aware Mutation Adequacy Criterion | IEEE Journals & Magazine | IEEE Xplore