Improving test generation by use of majority gates | IEEE Conference Publication | IEEE Xplore