Gotlieb, A. (2016) “Automated Regression Testing Using Constraint Programming”, Proceedings of the AAAI Conference on Artificial Intelligence, 30(2), pp. 4010–4015. doi: 10.1609/aaai.v30i2.19077.