Gotlieb A, Carlsson M, Liaaen M, Marijan D, Pétillon A. Automated Regression Testing Using Constraint Programming. AAAI [Internet]. 2016Feb.18 [cited 2024May2];30(2):4010-5. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/19077