Gotlieb, A., M. Carlsson, M. Liaaen, D. Marijan, and A. Pétillon. “Automated Regression Testing Using Constraint Programming”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 30, no. 2, Feb. 2016, pp. 4010-5, doi:10.1609/aaai.v30i2.19077.