Gotlieb, Arnaud Papers Using global constraints to automate regression testing Reinforcement learning for automatic test case prioritization and selection in continuous integration