Automatic Unit Test Data Genration Using Mixed-Integer Linear Programming and Execution Trees