Robust test generation and coverage for hybrid systems