Generating Test Data From OCL Constraints With Search Techniques