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]
@article{XieCZLLL19,
title = {Automatic Loop Summarization via Path Dependency Analysis},
author = {Xiaofei Xie and Bihuan Chen 0001 and Liang Zou and Yang Liu 0003 and Wei Le and Xiaohong Li},
year = {2019},
doi = {10.1109/TSE.2017.2788018},
url = {https://doi.org/10.1109/TSE.2017.2788018},
researchr = {https://researchr.org/publication/XieCZLLL19},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {45},
number = {6},
pages = {537-557},
}