@misc{indiciaec97bbaa13ed0,
  title = {Kayak: Safe Semantic Refactoring to Java Streams},
  author = {Cristina David and Pascal Kesseli and Daniel Kroening},
  year = {2017},
  url = {https://arxiv.org/abs/1712.07388},
  note = {Source identifier: 1712.07388}
}