Testing Network Protocol Binary Software with Selective Symbolic Execution.
Shameng WenChao FengQingkun MengBin ZhangLigeng WuChaojing TangPublished in: CIS (2016)
Keyphrases
- symbolic execution
- test data generation
- source code
- static analysis
- test generation
- test cases
- software testing
- simulated annealing algorithm
- data flow
- software systems
- software projects
- specification language
- quality assurance
- software development
- software architecture
- generation algorithm
- data sets
- database
- high level
- test suite
- domain independent
- neural network
- databases