The application of differential logic to test vector generation for diagnosis | IEEE Conference Publication | IEEE Xplore