Test tools for the Year 2000 challenges | IEEE Conference Publication | IEEE Xplore