SymNet: Scalable symbolic execution for modern networks.

Radu Stoenescu Matei Popovici Lorina Negreanu Costin Raiciu

Published in: SIGCOMM (2016)

Keyphrases

symbolic execution
test generation
static analysis
source code
test data generation
specification language
artificial intelligence
database
data sets
real world
open source
orders of magnitude