GATTO

GATTO is a genetic algorithm for automatic test pattern generation (ATPG) for testing of VLSI circuits.