@misc{indiciaea0e9b30e8ec7,
  title = {Prioritising Server Side Reachability via Inter-process Concolic Testing},
  author = {Maarten Vandercammen and Laurent Christophe and Dario Di Nucci and Wolfgang De Meuter and Coen De Roover},
  year = {2021},
  doi = {10.22152/programming-journal.org/2021/5/5},
  url = {https://arxiv.org/abs/2010.16303},
  note = {Source identifier: 2010.16303}
}