GATTO: a genetic algorithm for automatic test pattern generation for large synchronous sequential circuits | IEEE Journals & Magazine | IEEE Xplore