Sequential Automatic Test Pattern Generation

The problem of automatic test pattern generation for sequential digital circuits is considered from the point of view of constraint programming