Gotlieb, A. and Marijan, D. 2017. Using Global Constraints to Automate Regression Testing. AI Magazine. 38, 1 (Mar. 2017), 73-87. DOI:https://doi.org/10.1609/aimag.v38i1.2714.