On program testing criteria | IEEE Conference Publication | IEEE Xplore