Automatic Test Pattern Generation In Modulo