Automatic Test Pattern Generation In C