OpenStack networking for humans: Symbolic execution to the rescue.

Radu Stoenescu Dragos Dumitrescu Costin Raiciu

Published in: LANMAN (2016)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
specification language
source code
data flow
case study
database
data sets
simulated annealing algorithm