Guided Random-Based Testing Strategies