Gotlieb, Arnaud, Mats Carlsson, Marius Liaaen, Dusica Marijan, and Alexandre Pétillon. 2016. “Automated Regression Testing Using Constraint Programming”. Proceedings of the AAAI Conference on Artificial Intelligence 30 (2):4010-15. https://doi.org/10.1609/aaai.v30i2.19077.