SAFL: increasing and accelerating testing coverage with symbolic execution and guided fuzzing.
Mingzhe WangJie LiangYuanliang ChenYu JiangXun JiaoHan LiuXibin ZhaoJiaguang SunPublished in: ICSE (Companion Volume) (2018)
Keyphrases
- symbolic execution
- test generation
- static analysis
- test data generation
- source code
- specification language
- data flow
- test cases
- test suite
- open source
- software testing
- generation algorithm
- simulated annealing algorithm
- database
- matching algorithm
- optimization algorithm
- software engineering
- high level
- real world
- neural network
- databases