Theoretical and Empirical Analyses of the Effectiveness of Metamorphic Relation Composition | IEEE Journals & Magazine | IEEE Xplore