@misc{indiciae5c5eed4e116a,
  title = {Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking},
  author = {Juan P. Galeotti and Carlo A. Furia and Eva May and Gordon Fraser and Andreas Zeller},
  year = {2016},
  doi = {10.1109/tse.2015.2431688},
  url = {https://arxiv.org/abs/1407.5286},
  note = {Source identifier: 1407.5286}
}