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