BibTeX record conf/kbse/LiSLLL17

• > Home > conf/kbse/LiSLLL17

@inproceedings{DBLP:conf/kbse/LiSLLL17,
  author       = {Jiaying Li and
                  Jun Sun and
                  Li Li and
                  Quang Loc Le and
                  Shang{-}Wei Lin},
  editor       = {Grigore Rosu and
                  Massimiliano Di Penta and
                  Tien N. Nguyen},
  title        = {Automatic loop-invariant generation and refinement through selective
                  sampling},
  booktitle    = {Proceedings of the 32nd {IEEE/ACM} International Conference on Automated
                  Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November
                  03, 2017},
  pages        = {782--792},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ASE.2017.8115689},
  doi          = {10.1109/ASE.2017.8115689},
  timestamp    = {Fri, 24 Mar 2023 00:02:36 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/LiSLLL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}