Constraint Programming for the Automated Generation of Test Cases in Glass-Box Testing: Implementation and Evaluation of Different Approaches in a Test Case Generation Tool