K-DT: a formal system for the evaluation of linear data dependence testing techniques

Jie Zhao, Rongcai Zhao. K-DT: a formal system for the evaluation of linear data dependence testing techniques. The Journal of Supercomputing, 74(4):1655-1675, 2018. [doi]

Abstract

Abstract is missing.