@misc{indiciae20c9fcacb408,
  title = {Synthesizing Imperative Programs from Examples Guided by Static Analysis},
  author = {Sunbeom So and Hakjoo Oh},
  year = {2017},
  url = {https://arxiv.org/abs/1702.06334},
  note = {Source identifier: 1702.06334}
}