@article{14493,
  author = {Arnaud Gotlieb and Dusica Marijan},
  title = {Using Global Constraints to Automate Regression Testing},
  year = {2017},
  journal = {AI Magazine},
  volume = {38},
  number = {1},
  publisher = {AAAI},
}