@article{DBLP:journals/tcad/CornoPRR96,
author = {Fulvio Corno and
Paolo Prinetto and
Maurizio Rebaudengo and
Matteo Sonza Reorda},
title = {GATTO: a genetic algorithm for automatic test pattern generation
for large synchronous sequential circuits},
journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
volume = {15},
number = {8},
year = {1996},
pages = {991-1000},
ee = {http://doi.ieeecomputersociety.org/10.1109/43.511578},
bibsource = {DBLP, http://dblp.uni-trier.de}
}