A formal analysis of the subsume relation between software test adequacy criteria | IEEE Journals & Magazine | IEEE Xplore