A Framework for Checking Regression Test Selection Tools. - Chenguang Zhu; Legunsen, Owolabi; Shi, August; Gligoric, Milos (ICSE: International Conference on Software Engineering, 2019)