@misc{indiciae2526f31c0ea6,
  title = {IntRepair: Informed Repairing of Integer Overflows},
  author = {Paul Muntean and Martin Monperrus and Hao Sun and Jens Grossklags and Claudia Eckert},
  year = {2019},
  doi = {10.1109/tse.2019.2946148},
  url = {https://arxiv.org/abs/1807.05092},
  note = {Source identifier: 1807.05092}
}