Gotlieb, A.; Marijan, D. Using Global Constraints to Automate Regression Testing. AIMag 2017, 38, 73-87.