A. Gotlieb, M. Carlsson, M. Liaaen, D. Marijan, and A. Pétillon, “Automated Regression Testing Using Constraint Programming”, AAAI, vol. 30, no. 2, pp. 4010-4015, Feb. 2016.