Demo Abstract: Exploring packet dynamics through the combination of symbolic execution and random testing.

Minh Vu Phuong Ha Lisong Xu

Published in: INFOCOM Workshops (2019)

Keyphrases

symbolic execution
test generation
test data generation
static analysis
source code
specification language
test cases
data flow
software testing
database
data sets
databases
database systems
simulated annealing algorithm