MC/DC coverage-oriented compiler optimization for symbolic execution.
Yijun LiuZhenbang ChenWei DongChendong FengPublished in: ICSE (Companion Volume) (2018)
Keyphrases
- symbolic execution
- test data generation
- test generation
- static analysis
- optimization algorithm
- general purpose
- optimization method
- optimization problems
- global optimization
- building blocks
- specification language
- programming language
- multi objective
- database
- software development
- source code
- evolutionary algorithm
- genetic algorithm