Strategies For Random Contract-Based Testing