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