Xiaofei Xie, Bihuan Chen 0001, Yang Liu 0003, Wei Le, Xiaohong Li
Proteus: computing disjunctive loop summary via path dependency analysis
FSE, 2016.
@inproceedings{FSE-2016-XieCLLL,
author = "Xiaofei Xie and Bihuan Chen 0001 and Yang Liu 0003 and Wei Le and Xiaohong Li",
booktitle = "{Proceedings of the 24th International Symposium on Foundations of Software Engineering}",
doi = "10.1145/2950290.2950340",
isbn = "978-1-4503-4218-6",
pages = "61--72",
publisher = "{ACM}",
title = "{Proteus: computing disjunctive loop summary via path dependency analysis}",
year = 2016,
}