Checkpoint Faults are not Sufficient Target Faults for Test Generation | IEEE Journals & Magazine | IEEE Xplore