Towards Symbolic Pointers Reasoning in Dynamic Symbolic Execution.

Published in: CoRR (2021)

Keyphrases

high level
symbolic execution
test generation
test data generation
database
case study
decision trees
convergence speed
quality assessment