Gotlieb A, Marijan D. Using Global Constraints to Automate Regression Testing. AIMag [Internet]. 2017Mar.31 [cited 2024Apr.24];38(1):73-87. Available from: https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/2714