@misc{indiciaec8859c818b9e,
  title = {Towards Concolic Testing for Hybrid Systems},
  author = {Pingfan Kong and Yi Li and Xiaohong Chen and Jun Sun and Meng Sun and Jingyi Wang},
  year = {2016},
  url = {https://arxiv.org/abs/1608.08754},
  note = {Source identifier: 1608.08754}
}