SymNet: Scalable symbolic execution for modern networks.

Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu

Browse the full SIGCOMM paper archive.