Saying ‘Hi!’ is not enough: Mining inputs for effective test generation | Synapse