Login / Signup
Adaptive solving strategy synthesis for symbolic execution.
Zhenbang Chen
Guofeng Zhang
Zehua Chen
Ziqi Shuai
Weiyu Pan
Yufeng Zhang
Ji Wang
Published in:
J. Softw. Evol. Process. (2024)
Keyphrases
</>
symbolic execution
test generation
static analysis
specification language
source code
test data generation
genetic algorithm
decision trees
database systems
multi agent systems
relational databases
object oriented
genetic programming
heuristic search
search strategies
data flow