Verification and diagnosis of testing equivalence and reduction relation | IEEE Conference Publication | IEEE Xplore