@misc{indiciaec5bb5c9cff5e,
  title = {Concolic Unbounded-Thread Reachability via Loop Summaries (Extended Technical Report)},
  author = {Peizun Liu and Thomas Wahl},
  year = {2016},
  url = {https://arxiv.org/abs/1607.08273},
  note = {Source identifier: 1607.08273}
}