GATTO: an intelligent tool for automatic test pattern generation for digital circuits | IEEE Conference Publication | IEEE Xplore