@article{loopinvgenaloopinvariantgeneratorbased,
  title = {LoopInvGen: A Loop Invariant Generator based on Precondition Inference},
  author = {Saswat Padhi and Rahul Sharma and Todd Millstein},
  year = {2017},
  eprint = {1707.02029},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/1707.02029v4},
}