TERMINATOR: better automated UI test case prioritization. - Zhe Yu 002; Fahmid M. Fahid; Tim Menzies; Gregg Rothermel; Kyle Patrick; Snehit Cherian (ESEC/SIGSOFT FSE, 2019)