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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.