@misc{indiciae2f733d9cacbe,
  title = {SymNet: scalable symbolic execution for modern networks},
  author = {Radu Stoenescu and Matei Popovici and Lorina Negreanu and Costin Raiciu},
  year = {2016},
  url = {https://arxiv.org/abs/1604.02847},
  note = {Source identifier: 1604.02847}
}