TY  - RPRT
TI  - SymNet: scalable symbolic execution for modern networks
AU  - Radu Stoenescu
AU  - Matei Popovici
AU  - Lorina Negreanu
AU  - Costin Raiciu
PY  - 2016
UR  - https://arxiv.org/abs/1604.02847
ID  - 1604.02847
ER  -