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