Symbolic Execution of Network Software Based on Unit Testing.

Lin Zhou Fei Liu Shuitao Gan Xiaojun Qin Wenbao Han

Published in: NAS (2014)

Keyphrases

symbolic execution
test data generation
unit testing
test cases
software testing
test generation
data flow
static analysis
source code
integration testing
software development
software systems
life cycle
dynamic analysis
databases
software engineering
cooperative
artificial intelligence
neural network