Finding test data with specific properties via metaheuristic search | IEEE Conference Publication | IEEE Xplore