IntroductionAutomatic migration planningUpgrading ProductionPlanning a MigrationCustom migrationsVerifying migration safetyAppendix: programmatic planning