%0 Conference Paper %1 conf/sigsoft/XieCZLLL17 %A Xie, Xiaofei %A Chen, Bihuan %A Zou, Liang %A Lin, Shang-Wei %A Liu, Yang %A Li, Xiaohong %B ESEC/SIGSOFT FSE %D 2017 %E Bodden, Eric %E Schäfer, Wilhelm %E van Deursen, Arie %E Zisman, Andrea %I ACM %K dblp %P 84-94 %T Loopster: static loop termination analysis. %U http://dblp.uni-trier.de/db/conf/sigsoft/fse2017.html#XieCZLLL17 %@ 978-1-4503-5105-8

@inproceedings{conf/sigsoft/XieCZLLL17, added-at = {2023-06-26T00:00:00.000+0200}, author = {Xie, Xiaofei and Chen, Bihuan and Zou, Liang and Lin, Shang-Wei and Liu, Yang and Li, Xiaohong}, biburl = {https://www.bibsonomy.org/bibtex/2c7ac146121fd659b6cd1a5245337ddc3/dblp}, booktitle = {ESEC/SIGSOFT FSE}, crossref = {conf/sigsoft/2017}, editor = {Bodden, Eric and Schäfer, Wilhelm and van Deursen, Arie and Zisman, Andrea}, ee = {https://doi.org/10.1145/3106237.3106260}, interhash = {7c79b1d1d212ebeb03845969a4691cc1}, intrahash = {c7ac146121fd659b6cd1a5245337ddc3}, isbn = {978-1-4503-5105-8}, keywords = {dblp}, pages = {84-94}, publisher = {ACM}, timestamp = {2024-04-09T17:52:12.000+0200}, title = {Loopster: static loop termination analysis.}, url = {http://dblp.uni-trier.de/db/conf/sigsoft/fse2017.html#XieCZLLL17}, year = 2017 }