@misc{indiciae55c41b38f49f,
  title = {Enhancing Reuse of Constraint Solutions to Improve Symbolic Execution},
  author = {Xiangyang Jia and Carlo Ghezzi and Shi Ying},
  year = {2015},
  url = {https://arxiv.org/abs/1501.07174},
  note = {Source identifier: 1501.07174}
}