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