Rongchen Xu, Jianhui Chen, Fei He0001. Data-Driven Loop Bound Learning for Termination Analysis. In 44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022. pages 499-510, IEEE, 2022. [doi]
@inproceedings{XuCH22-1,
title = {Data-Driven Loop Bound Learning for Termination Analysis},
author = {Rongchen Xu and Jianhui Chen and Fei He0001},
year = {2022},
doi = {10.1145/3510003.3510220},
url = {https://doi.org/10.1145/3510003.3510220},
researchr = {https://researchr.org/publication/XuCH22-1},
cites = {0},
citedby = {0},
pages = {499-510},
booktitle = {44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022},
publisher = {IEEE},
isbn = {978-1-4503-9221-1},
}