Formalization of software testing criteria using the Z notation | IEEE Conference Publication | IEEE Xplore