Automatic Test Pattern Generation Methods