@inproceedings{padonIvySafetyVerification,
  author    = {Oded Padon and
               Kenneth L. McMillan and
               Aurojit Panda and
               Mooly Sagiv and
               Sharon Shoham},
  title     = {Ivy: safety verification by interactive generalization},
  booktitle = {PLDI},
  pages     = {614--630},
  publisher = {{ACM}},
  year      = {2016},,
  doi       = {10.1145/2908080.2908118},
}