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