BibTeX record conf/sigsoft/XieCZLLL17

• > Home > conf/sigsoft/XieCZLLL17

@inproceedings{DBLP:conf/sigsoft/XieCZLLL17,
  author       = {Xiaofei Xie and
                  Bihuan Chen and
                  Liang Zou and
                  Shang{-}Wei Lin and
                  Yang Liu and
                  Xiaohong Li},
  editor       = {Eric Bodden and
                  Wilhelm Sch{\"{a}}fer and
                  Arie van Deursen and
                  Andrea Zisman},
  title        = {Loopster: static loop termination analysis},
  booktitle    = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
                  Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
  pages        = {84--94},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3106237.3106260},
  doi          = {10.1145/3106237.3106260},
  timestamp    = {Mon, 26 Jun 2023 20:41:53 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/XieCZLLL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}