A. Gotlieb and D. Marijan, “Using Global Constraints to Automate Regression Testing”, AIMag, vol. 38, no. 1, pp. 73-87, Mar. 2017.