@misc{indiciaebe9e43fc8077,
  title = {Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT},
  author = {Favio Demarco and Jifeng Xuan and Daniel Le Berre and Martin Monperrus},
  year = {2014},
  doi = {10.1145/2593735.2593740},
  url = {https://arxiv.org/abs/1404.3186},
  note = {Source identifier: 1404.3186}
}