An experimental study on combining automated and stochastic test data generation