SymNet: scalable symbolic execution for modern networks.

Radu Stoenescu Matei Popovici Lorina Negreanu Costin Raiciu

Published in: CoRR (2016)

Keyphrases

symbolic execution
static analysis
test data generation
test generation
specification language
multi objective
databases
artificial intelligence
case study
training set
object oriented