On the relationships among the all-uses, all-DU-paths, and all-edges testing criteria | IEEE Journals & Magazine | IEEE Xplore