Gotlieb, A.; Carlsson, M.; Liaaen, M.; Marijan, D.; Pétillon, A. Automated Regression Testing Using Constraint Programming. AAAI 2016, 30, 4010-4015.