K-DT: a formal system for the evaluation of linear data dependence testing techniques. - Zhao, Jie; Zhao, Rongcai (Journal of Supercomputing, 2018)