The impact of input domain reduction on search-based test data generation