Analyzing network protocol binary software with joint symbolic execution.

Shameng Wen Chao Feng Qingkun Meng Bin Zhang Ligeng Wu Chaojing Tang

Published in: ICSAI (2016)

Keyphrases

symbolic execution
test data generation
static analysis
source code
simulated annealing algorithm
software development
test generation
test cases
software systems
data flow
specification language
software projects
quality assurance
software testing
database
open source
data sets