Automated Regression Testing Using Constraint Programming