Automatic Loop Summarization via Path Dependency Analysis

Xiaofei Xie, Bihuan Chen 0001, Liang Zou, Yang Liu 0003, Wei Le, Xiaohong Li. Automatic Loop Summarization via Path Dependency Analysis. IEEE Trans. Software Eng., 45(6):537-557, 2019. [doi]

Abstract

Abstract is missing.